Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (1993)

by D Boulanger, M Bruynooghe
Venue:Journal of Symbolic Computation