Unfold/fold transformations for definite clause programs (1994)

by M Gergatsoulis, M Katzouraki
Venue:Proceedings Sixth International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), Lecture Notes in Computer Science 844