Correctness of Logic Program Transformation based on Existential
Termination.
K.-K. Lau, M. Ornaghi, A. Pettorossi, and M. Proietti.
In J.W. Lloyd, editor,
Proceedings of 1995 International Logic Programming Symposium,
pages 480-494, MIT Press, 1995.
[Abstract] [Paper]
[BibTeX]