Kung-Kiu Lau, Steven David Prestwich
Synthesis of a Family of Recursive Sorting Procedures
ICLP, 1991.
@inproceedings{ISLP-1991-LauP,
author = "Kung-Kiu Lau and Steven David Prestwich",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "641--658",
publisher = "{MIT Press}",
title = "{Synthesis of a Family of Recursive Sorting Procedures}",
year = 1991,
}