@article {12807, title = {Tableau-based model checking in the propositional mu-calculus}, journal = {Acta Informatica}, volume = {27}, year = {1990}, month = {1990///}, pages = {725 - 747}, author = {Cleaveland, Rance} }