The emptiness problem for tree automata with global constraints (2010)

by Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher
Venue:In LICS