A parameterized unfold/fold transformation framework for definite logic programs (1999)

by Abhik Roychoudhury , K. Narayan Kumar , C. R. Ramakrishnan , I. V. Ramakrishnan
Venue:In Principles and Practice of Declarative Programming (PPDP), LNCS 1702
Citations:23 - 6 self