Deciding Equivalence of Finite Tree Automata (1990)

by H Seidl
Venue:SIAM Jounal on Computing