Unfold/fold transformations for definite clause programs (1994)

by M Gergatsoulis, M Katzouraki
Venue:PLILP ’94, LNCS 844