Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya. A decision procedure for alternation-free modal µ-calculi. In Carlos Areces, Robert Goldblatt, editors, Advances in Modal Logic 7, papers from the seventh conference on Advances in Modal Logic, held in Nancy, France, 9-12 September 2008. pages 341-362, College Publications, 2008. [doi]
Abstract is missing.