Publication

The Complexity of Checking Non-Emptiness in Symbolic Tree Automata