On the Myhill-Nerode theorem for trees (1992)

by Dexter Kozen
Venue:Bull. Europ. Assoc. Theor. Comput. Sci