Isabela Dramnesc, Tudor Jebelean. Discovery of inductive algorithms through automated reasoning: A case study on sorting. In 10th IEEE Jubilee International Symposium on Intelligent Systems and Informatics, SISY 2012, Subotica, Serbia, September 20-22, 2012. pages 293-298, IEEE, 2012. [doi]
Abstract is missing.