@article{cj99-12,
       author={Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert Brayton, and Alberto Sangiovanni-Vincentelli},
       title={Equivalences for Fair Kripke Structures}
       journal={Chicago Journal of Theoretical Computer Science},
       volume={1999},
       number={115},
       publisher={Department of Computer Science U of Chicago},
       month={December},
       year={1999}