Yih-Kuen Tsay Rajive Bagrodia Deducing Fairness Properties in UNITY Logic - A New Completeness Result. 16-27 1995 17 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/200994.200997 db/journals/toplas/toplas17.html#TsayB95