@Article{         DBLP:journals/lmcs/HagueO08,
  Author        = "Hague, Matthew and Ong, C.-H. Luke",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-03-08 10:34:37 +0100",
  date-modified = "2013-03-13 11:59:21 +0000",
  ee            = "http://dx.doi.org/10.2168/LMCS-4(4:14)2008",
  Journal       = "Logical Methods in Computer Science",
  Keywords      = "higher-order model checking and higher-order pushdown automata and saturation method",
  Number        = "4",
  Title         = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems",
  Volume        = "4",
  Year          = "2008",
  File          = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems - Hague, Ong (0) (0) - a - a - b.pdf"
}

@Article{ DBLP:journals/lmcs/HagueO08, Author = "Hague, Matthew and Ong, C.-H. Luke", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-03-08 10:34:37 +0100", date-modified = "2013-03-13 11:59:21 +0000", ee = "http://dx.doi.org/10.2168/LMCS-4(4:14)2008", Journal = "Logical Methods in Computer Science", Keywords = "higher-order model checking and higher-order pushdown automata and saturation method", Number = "4", Title = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems", Volume = "4", Year = "2008", File = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems - Hague, Ong (0) (0) - a - a - b.pdf" }