@inproceedings{ABK04,
        author      =   "B. Aminof and T. Ball and O. Kupferman",
        title       =   "Reasoning about systems with transition fairness",
        booktitle  =    "Proc. 11th International Conference on Logic for
                         Programming Artificial Intelligence and
                  Reasoning",
        series      =   "Lecture Notes in Computer Science",
        volume      =   "3452",
        pages       =   "194--208",
        publisher   =   "Springer-Verlag",
        year        =   "2004"
}