Equality and Disequality Constraints on Direct Subterms in Tree Automata.

Bruno Bogaert, Sophie Tison

Browse the full STACS paper archive.