@inproceedings{HKR97,
	author	    =   "T.A. Henzinger and O. Kupferman and S. Rajamani",
        title       =   "Fair simulation",
        booktitle   =   "Proc. 8th Conferance on Concurrency Theory",
        series	    =   "Lecture Notes in Computer Science",
        volume      =   "1243",
        address     =   "Warsaw",
        publisher   =   "Springer-Verlag",
        month       =   "July",
        year        =   "1997",
}