%0 Journal Article
%A Lange, Martin
%T Three notes on the complexity of model checking fixpoint logic with chop
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 177-190
%V 41
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita:2007011/
%R 10.1051/ita:2007011
%G en
%F ITA_2007__41_2_177_0