Martin Lange, Rafal Somla. The Complexity of Model Checking Higher Order Fixpoint Logic. In Joanna Jedrzejowicz, Andrzej Szepietowski, editors, Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings. Volume 3618 of Lecture Notes in Computer Science, pages 640-651, Springer, 2005. [doi]
Abstract is missing.