@conference{HT10,
  title = "The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems",
  author = "M. Hague and A. W. To",
  year = "2010",
  booktitle = "FSTTCS",
}