Deductive synthesis of sorting programs (1986)

by Jonathan Traugott
Venue:In 8th Int. Conf on Automated Deduction, LNCS 230