@phdthesis{HaguePhd2009,
  title = "Saturation Methods for Global Model-Checking Pushdown Systems",
  author = "M. Hague",
  year = "2009",
  note = "Submitted Jan 2009, minor corrections May 2009, Clarification on page 164 Dec 2009.  Error noted in Section 6.1, Jan 2011
(Corrected in FSTTCS 2010).",
}