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

Ondrej Lengál, Jirí Simácek, Tomás Vojnar (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics