TY  - RPRT
TI  - The Complexity of Model Checking Higher-Order Fixpoint Logic
AU  - Roland Axelsson
AU  - Martin Lange
AU  - Rafal Somla
PY  - 2007
DO  - 10.2168/lmcs-3(2:7)2007
UR  - https://arxiv.org/abs/0704.3931
ID  - 0704.3931
ER  -