@inproceedings{RISC5198,author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {{Proof-based Synthesis of Sorting Algorithms for Trees}},
booktitle = {{Proceedings of LATA 2016, the 10th International Conference on Language and Automata Theory and Applications}},
language = {english},
series = {LNCS},
volume = {9618},
pages = {562--575},
publisher = {Springer},
isbn_issn = {ISBN 978-3-319-29999-0},
year = {2016},
editor = {Adrian-Horia Dediu and Jan Janousek and Carlos Martin-Vide and Bianca Truthe},
refereed = {yes},
length = {14},
conferencename = {LATA 2016}
}