Bruno Bogaert, Sophie Tison. Equality and Disequality Constraints on Direct Subterms in Tree Automata. In Alain Finkel, Matthias Jantzen, editors, STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings. Volume 577 of Lecture Notes in Computer Science, pages 161-171, Springer, 1992.
Abstract is missing.