@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}
}
