Unfold/fold transformations of logic programs (1984)

by H Tamaki, T Sato
Venue:Proceedings of the Second International Conference on Logic Programming, 127--138