Unfold/fold transformations of logic programs (1991)

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