"Efficient Implementation for Deterministic Finite Tree Automata Minimization."

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