Discovery of inductive algorithms through automated reasoning: A case study on sorting.

Isabela Dramnesc, Tudor Jebelean

Browse the full SISY paper archive.