Unfold/Fold Transformations of Logic Programs (1984)

by H Tamaki, T Sato
Venue:In Procs. of the 2nd International Conference on Logic Programming, (ICLP ’84