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

Ondrej Lengl, Jir Simcek, Toms Vojnar

Browse the full TACAS paper archive.