@InProceedings{ Lau&Ornaghi:93, Author = "K.-K. Lau and M. Ornaghi", Title = "An Incompleteness Result for Deductive Synthesis of Logic Programs", BookTitle = "Proc. $10^{th}$ Int. Conf. on Logic Programming", Editor = "D.S. Warren", Publisher = "{MIT} Press", Pages = "456-477", Year = "1993" }