Three notes on the complexity of model checking fixpoint logic with chopMartin LangeRAIRO-Theor. Inf. Appl., 41 2 (2007) 177-190DOI: https://doi.org/10.1051/ita:2007011
