author = {Isabela Dramnesc and Tudor Jebelean},
title = {{Discovery of Inductive Algorithms through Automated Reasoning: A Case Study on Sorting}},
booktitle = {{Proceedings of SISY 2012: the IEEE 10th Jubilee International Symposium on Intelligent Systems and Informatics}},
language = {english},
pages = {293--298},
publisher = {IEEE Xplore},
isbn_issn = {ISBN 978-1-4673-4751-8},
year = {2012},
month = {September},
editor = {. },
refereed = {yes},
length = {6},
url = {http://ieeexplore.ieee.org/ xpl/mostRecentIssue.jsp?punumber=6330717}