\selfcitation{@article{cj98-02,
       author={Orna Kupferman and Moshe Y. Vardi},
       title={Verification of Fair Transition Systems},
       journal={Chicago Journal of Theoretical Computer Science},
       volume={1998},
       number={2},
       publisher={MIT Press},
       month={March},
       year={1998}
     }
}