A case study on algorithm discovery from proofs: The insert function on binary trees.

Isabela DramnescTudor JebeleanSorin Stratulat
Published in: SACI (2016)