The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems - Hague, M; To, A (2010)