The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
M. Hague and A. W. To
Book Title
FSTTCS
Year
2010
M. Hague and A. W. To