@InProceedings{
Lau&Wiggins:94,
Author = "K.-K. Lau and G. Wiggins",
Title = "A Tutorial on Synthesis of Logic Programs from Specifications",
BookTitle = "Proc. $11^{th}$ Int. Conf. on Logic Programming",
Editor = "P. {Van Hentenryck}",
Publisher = "{MIT} Press",
Pages = "11-14",
Year = "1994",
Note = "Invited advanced tutorial."   }