@Article{Deville&Lau:94, Author = "Y. Deville and K.-K. Lau", Title = "Logic Program Synthesis", Journal = "Journal of Logic Programming", Volume = "19,20", Pages = "321-350", Note = "Special Issue: Ten Years of Logic Programming", Year = "1994" }