@InProceedings{
Lau&al:95,
Author = "K.-K. Lau and M. Ornaghi and A. Pettorossi and M. Proietti",
Title = "Correctness of Logic Program Transformations Based on
         Existential Termination Logic Programs",
Booktitle = "Proc. 1995 Int. Logic Programming Symposium",
Editor = "J.W.~Lloyd",
Year = "1995",
Pages = "480-494",
Publisher = "{MIT} Press" }