Deciding equivalence of finite tree automata (1990)

by H Seidl
Venue:SIAM Journal of Computing