Synthesis of a Family of Recursive Sorting Procedures.
K.-K. Lau and S.D.Prestwich. In V. Saraswat and K. Ueda,
editors, Proceedings of the 1991 International Logic Programming
Symposium, pages 641-658, MIT Press, 1991.
[Abstract] [Paper] [BibTeX]
Top-down Synthesis of Recursive Logic Procedures
from First-order Logic Specifications.
K.-K. Lau and S.D. Prestwich. In D.H.D. Warren and P. Szeredi,
editors, Proceedings of the Seventh International Conference on Logic
Programming, pages 667-684, MIT Press, 1990.
[Abstract] [Paper] [BibTeX]