![HAL Archives-Ouvertes](https://s3.amazonaws.com/weyland.altmetric.com/news_sources/logos/000/001/679/normal/Screen_Shot_2016-01-26_at_14.14.52.png?1453817707)
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Proof–based Synthesis of Sorting Algorithms for Trees. Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe. 140th International Conference on Language and Automata Theory and Applications
HAL Archives-Ouvertes,
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Proof–based Synthesis of Sorting Algorithms for Trees.