"A technique for Transforming Logic Programs by Fold-Unfold Transformations."

Francis Alexandre (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics