Generalized Unfold/fold Transformation Systems for Normal Logic Programs.

Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan

Browse the full ICLP paper archive.