Symbolic tree automata

Margus Veanes, Nikolaj Bjørner. Symbolic tree automata. Inf. Process. Lett., 115(3):418-424, 2015. [doi]

Abstract

Abstract is missing.