@InProceedings{
Lau&Prestwich:91,
Author = "K.-K. Lau and S.D. Prestwich",
Title = "Synthesis of a Family of Recursive Sorting Procedures",
Booktitle = "Proc. 1991 Int. Logic Programming Symposium",
Editor = "V. Saraswat and K. Ueda",
Publisher = "{MIT} Press",
Year = "1991",
Pages = "641-658"         }