"From Tree Automata to Rational Tree Expressions."

Younes Guellouma, Hadda Cherroun (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics