author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{A case study on algorithm discovery from proofs: The insert function on binary trees}},
booktitle = {{11th IEEE International Symposium on Applied Computational Intelligence and Informatics, SACI 2016, Timisoara, Romania, May 12-14, 2016}},
language = {english},
pages = {231--236},
isbn_issn = {978-1-5090-2380-6},
year = {2016},
editor = {IEEE},
refereed = {yes},
length = {6},
url = {https://doi.org/10.1109/SACI.2016.7507376}