Bibliography

• Tree Automata Techniques and Applications.
• M. Y. Vardi. An automata-theoretic approach to linear time temporal logic
• O. Kupferman, M. Vardi and P. Wolper. An automata-theoretic approach to branching time model-checking