Helmut Seidl. Deciding Equivalence of Finite Tree Automata. In Burkhard Monien, Robert Cori, editors, STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings. Volume 349 of Lecture Notes in Computer Science, pages 480-492, Springer, 1989.
Abstract is missing.