Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat. Proof-Based Synthesis of Sorting Algorithms for Trees. In Adrian Horia Dediu, Jan Janousek, Carlos MartÃn-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 562-575, Springer, 2016. [doi]
Abstract is missing.