@PhdThesis{       Hague,
  Author        = "Hague, Matthew",
  date-added    = "2012-03-08 10:35:14 +0100",
  date-modified = "2013-01-31 10:16:42 +0000",
  Keywords      = "higher-order model checking and higher-order pushdown automata and saturation method",
  School        = "University of Oxford",
  Title         = "Saturation Methods for Global Model-Checking Pushdown Systems",
  Year          = "2009",
  File          = "Saturation Methods for Global Model-Checking Pushdown Systems - Hague (0) (0) - a - a - a.pdf"
}

@PhdThesis{ Hague, Author = "Hague, Matthew", date-added = "2012-03-08 10:35:14 +0100", date-modified = "2013-01-31 10:16:42 +0000", Keywords = "higher-order model checking and higher-order pushdown automata and saturation method", School = "University of Oxford", Title = "Saturation Methods for Global Model-Checking Pushdown Systems", Year = "2009", File = "Saturation Methods for Global Model-Checking Pushdown Systems - Hague (0) (0) - a - a - a.pdf" }