I.: An Unfold/Fold Transformation Framework for Definite Logic Programs (2004)

by A Roychoudhury, K Kumar, C Ramakrishnan, Ramakrishnan
Venue:ACM Transactions on Programming Language Systems