@InProceedings{
Lau&Ornaghi:95,
Author = "K.-K. Lau and M. Ornaghi",
Title = "A Formal Approach to Deductive Synthesis of Constraint
         Logic Programs",
Booktitle = "Proc. 1995 Int. Logic Programming Symposium",
Editor = "J.W.~Lloyd",
Year = "1995",
Pages = "543-557",
Publisher = "{MIT} Press" }