@inproceedings{BVW94,
	author     =	"O. Bernholtz and M.Y. Vardi and P. Wolper",
	title      =    "An Automata-Theoretic Approach to
                         Branching-Time Model Checking",
	booktitle  = 	"Computer Aided Verification, Proc. 6th  Int.
                         Conference",
        editor     =    "D. L. Dill",
	address    =	"Stanford",
        month      =	"June",
        series     =    "Lecture Notes in Computer Science",
        volume     =    "818",
	year       =	"1994",
        publisher  =    "Springer-Verlag, Berlin",
	pages	   = 	"142--155",
}