@inproceedings{BG93, author = "O. Bernholtz and O. Grumberg", title = "Branching time temporal logic and amorphpus tree automata", booktitle = "Proc. 4th Conferance on Concurrency Theory", address = "Hildesheim", series = "Lecture Notes in Computer Science", volume = "715", publisher = "Springer-Verlag", pages = "262--277", month = "August", year = 1993, } @article{KG96a, author = "O. Kupferman and O. Grumberg", title = "Branching-time temporal logic and tree automata", journal = "Information adn Computation", volume = "125", year = "1996", }