@misc{indiciae576bce3fe1af,
  title = {An Improved Decision Procedure for Linear Time Mu-Calculus},
  author = {Yao Liu and Zhenhua Duan and Cong Tian},
  year = {2015},
  url = {https://arxiv.org/abs/1507.05513},
  note = {Source identifier: 1507.05513}
}