Manolis Gergatsoulis. Unfold/fold transformations for Disjunctive Logic programs. Information Processing Letters, 62(1):23-29, April 1997.

CITATIONS

1. Alberto Pettorossi, Maurizio Proietti. Program Derivation = Rules + Strategies. In A. Kakkas, F. Sadri (editors), Computational Logic: From Logic Programming into the Future (In honour of R. A. Kowalski, Part I), Lecture Notes in Computer Science, Volume 2407, pages 273-309, Springer-Verlag, 2002.