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

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