TY  - RPRT
TI  - An Improved Decision Procedure for Linear Time Mu-Calculus
AU  - Yao Liu
AU  - Zhenhua Duan
AU  - Cong Tian
PY  - 2015
UR  - https://arxiv.org/abs/1507.05513
ID  - 1507.05513
ER  -