@InProceedings{ Lau&Prestwich:90, Author = "K.-K. Lau and S.D. Prestwich", Title = "Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications", BookTitle = "Proc. $7^{th}$ Int. Conf. on Logic Programming", Editor = "D.H.D. Warren and P. Szeredi", Publisher = "{MIT} Press", Year = "1990", Pages = "667-684" }