"Minimal ascending tree automata."

Ferenc Gécseg, Magnus Steinby (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics