@MISC{_myhill-nerodetheorem, author = {}, title = {Myhill-Nerode Theorem for Recognizable Tree Series Revisited?}, year = {}}
myhill-nerode theorem recognizable tree series revisited