Unfold/fold transformations in logic programs (1991)

by P A Gardner, J C Shepherdson
Venue:Computational Logic, Essays in Honor of Alan Robinson, 565--583