A Decision Procedure for a Fragment of Linear Time Mu-Calculus.

Yao Liu, Zhenhua Duan, Cong Tian

Browse the full IJCAI paper archive.