@InProceedings{
Lau&Ornaghi:96,
Author = "K.-K. Lau and M. Ornaghi",
Title = "Towards an Object-Oriented Methodology for
         Deductive Synthesis of Logic Programs",
BookTitle = "Proc. LOPSTR 95, Lecture Notes in Computer Science 1048",
Editor = "M. Proietti",
Year = "1996",
Pages = "152-169",
Publisher = "Springer-Verlag"   }