Tanabe, Yoshinori,
Takahashi, Koichi and
Hagiya, Masami. 2008.
“A Decision Procedure for Alternation-Free Modal \(\mu\)-Calculi.” in
Advances in Modal Logic, volume VII, edited by Carlos
Areces and Robert L.
Goldblatt, pp. 341–362. London: College Publications.