@INPROCEEDINGS( PSC2020-2, 
 author = "Tom\'{a}\v{s} Pecka and Jan Tr\'{a}vn\'{\i}\v{c}ek and Jan Janou\v{s}ek",
 title = "Conversion of Finite Tree Automata to Regular Tree Expressions By State Elimination",
 booktitle = "Proceedings of the Prague Stringology Conference 2020",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-06749-9",
 year = 2020,
 pages = "11--22",
)