Roland Axelsson Martin Lange Rafal Somla The Complexity of Model Checking Higher-Order Fixpoint Logic http://arxiv.org/abs/0704.3931 2007 CoRR abs/0704.3931 db/journals/corr/corr0704.html#abs-0704-3931 informal publication informal publication