Deriving Fold~Unfold Transformations of Logic Programs Using Eztended OLDT-based Abstract (1993)

by D Boulanger, M Bruynooghe
Venue:Interpretation, J. Symbolic Com- putation