@Article{         DBLP:journals/ijfcs/Seth08,
  Author        = "Seth, Anil",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-03-06 19:15:21 +0100",
  date-modified = "2013-01-31 10:34:07 +0000",
  ee            = "http://dx.doi.org/10.1142/S012905410800608X",
  Journal       = "Int. J. Found. Comput. Sci.",
  Keywords      = "higher-order model checking and higher-order pushdown automata and saturation method",
  Number        = "4",
  Pages         = "983-998",
  Title         = "An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems",
  Volume        = "19",
  Year          = "2008",
  File          = "An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems - Seth (0) (0) - a - a - k.pdf"
}

@Article{ DBLP:journals/ijfcs/Seth08, Author = "Seth, Anil", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-03-06 19:15:21 +0100", date-modified = "2013-01-31 10:34:07 +0000", ee = "http://dx.doi.org/10.1142/S012905410800608X", Journal = "Int. J. Found. Comput. Sci.", Keywords = "higher-order model checking and higher-order pushdown automata and saturation method", Number = "4", Pages = "983-998", Title = "An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems", Volume = "19", Year = "2008", File = "An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems - Seth (0) (0) - a - a - k.pdf" }