@inproceedings{AHKV98,
	author    =	"R. Alur and T.A. Henzinger and O. Kupferman
                         and M.Y. Vardi",
      	title     =     "Alternating refinement relations",
        booktitle   =   "Proc. 9th Conferance on Concurrency Theory",
        series	    =   "Lecture Notes in Computer Science",
        publisher   =   "Springer-Verlag",
        address     =   "Nice",
        month       =   "September",
        year        =   "1998",
}