@InProceedings{
Lau&al:94,
Author = "K.-K. Lau and M. Ornaghi and S.-{\AA}. T{\"{a}}rnlund",
Title = "The Halting Problem for Deductive Synthesis of Logic
         Programs",
BookTitle = "Proc. $11^{th}$ Int. Conf. on Logic Programming",
Editor = "P. {Van Hentenryck}",
Publisher = "{MIT} Press",
Pages = "665-683",
Year = "1994"       }