Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.

Luks Holk, Ondrej Lengl, Jir Simcek, Toms Vojnar

Browse the full ATVA paper archive.