The following publications are possibly variants of this publication:
- Collapsible Pushdown Parity GamesChristopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. tocl, 22(3), 2021. [doi]
- The Complexity of Model Checking (Collapsible) Higher-Order Pushdown SystemsMatthew Hague, Anthony Widjaja To. fsttcs 2010: 228-239 [doi]
- A Saturation Method for Collapsible Pushdown SystemsChristopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre. icalp 2012: 165-176 [doi]
- Saturation of Concurrent Collapsible Pushdown SystemsMatthew Hague. fsttcs 2013: 313-325 [doi]
- Collapsible Pushdown Automata and Recursion SchemesMatthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. lics 2008: 452-461 [doi]
- Collapsible Pushdown Automata and Recursion SchemesMatthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre. tocl, 18(3), 2017. [doi]