Unranked Tree Automata with Sibling Equalities and Disequalities.

Karianto Wong, Christof Lding

Browse the full ICALP paper archive.