@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",
}