Yoshinori Tanabe Koichi Takahashi Masami Hagiya A decision procedure for alternation-free modal µ-calculi. 341-362 2008 Advances in Modal Logic http://www.aiml.net/volumes/volume7/Tanabe-Takahashi-Hagiya.pdf conf/aiml/2008 db/conf/aiml/aiml2008.html#TanabeTH08