@inproceedings{Kup95,
	author	    =   "O. Kupferman",
	title       =   "Augmenting branching temporal logics with
		         existential quantification over atomic
                         propositions", 
	booktitle   = 	"Computer Aided Verification, Proc. 7th  Int.
                         Conference",
        series		= "Lecture Notes in Computer Science",
        volume		= 939,
        publisher       = "Springer-Verlag",
	pages       = 	"325-338",
	address     =	"Liege",
        month       =	"July",
	year        =	1995,
}


@article{Kup97,
	author	    =   "O. Kupferman",
	title       =   "Augmenting branching temporal logics with
		         existential quantification over atomic
                         propositions", 
	journal     = 	"Journal of Logic and Computation",
	volume      = 	7,
	pages       = 	"1-14",
        publisher   =   "Oxford University Press",
	year        =   1997
}