@inproceedings{KPV01,
	author	    =   "O. Kupferman and N. Piterman and M.Y. Vardi",
	title       =   "Extended Temporal Logic Revisited",
	booktitle = 	"Proc. 12th International Conference on
                  Concurrency Theory",  
        series      =   "Lecture Notes in Computer Science",
        volume      =   ?,
        pages       =   "?",
        month       =	"August",
	year        =	2001
}