@STRING{ LNCS = "Lecture Notes in Computer Science"} @STRING{ LNAI = "Lecture Notes in Artificial Intelligence"} @STRING{ TCS = "Theoretical Computer Science"} @STRING{ JACM = "Journal of the ACM"} @STRING{ TOCL = "ACM Transactions on Computional Logic"} @STRING{ acm = "ACM Press"} @STRING{ addison = "Addison-Wesley"} @STRING{ elsevier = "Elsevier"} @STRING{ ieee = "IEEE Computer Society Press"} @STRING{ holland = "North-Holland"} @STRING{ springer = "Springer-Verlag"} @INPROCEEDINGS{ AHKV98alternating, AUTHOR = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman and Moshe Y. Vardi", TITLE = "Alternating Refinement Relations", BOOKTITLE = "International Conference on Concurrency Theory", PAGES = "163-178", YEAR = "1998", URL = "http://www.cs.rice.edu/~vardi/papers/conc98b.ps.gz" }