VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.

Published in: TACAS (2012)

Keyphrases