Unfold/fold transformations of logic programs (1991)

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