Model Checking mu-Calculus in Well-Structured Transition Systems. - E. V. Kouzmin; Nikolay V. Shilov 002; Valery A. Sokolov (TIME, 2004)