Minimization of Symbolic Tree Automata.

Loris D'Antoni, Margus Veanes

Browse the full LICS paper archive.