@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", }