Synthesis of a Family of Recursive Sorting Procedures

Kung-Kiu Lau, Steven David Prestwich. Synthesis of a Family of Recursive Sorting Procedures. In ISLP. pages 641-658, 1991.

@inproceedings{LauP91,
  title = {Synthesis of a Family of Recursive Sorting Procedures},
  author = {Kung-Kiu Lau and Steven David Prestwich},
  year = {1991},
  researchr = {https://researchr.org/publication/LauP91},
  cites = {0},
  citedby = {0},
  pages = {641-658},
  booktitle = {ISLP},
}