Yong Li, Lei Song, Yuan Feng (), Lijun Zhang: Verify LTL with Fairness Assumptions Efficiently. In 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016, pages 41-50, 2016. DOIBIB