@InProceedings{   DBLP:conf/fsen/AbdullaADP13,
  Author        = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Delzanno, Giorgio and Podelski, Andreas",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "FSEN",
  date-added    = "2013-11-12 09:51:27 +0000",
  date-modified = "2017-09-06 09:32:33 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-40213-5\_13",
  Keywords      = "gap-order constraints",
  Pages         = "199-216",
  Title         = "Push-Down Automata with Gap-Order Constraints",
  Year          = "2013",
  File          = "Push-Down Automata with Gap-Order Constraints - Abdulla, Atig, Delzanno, Podelski (0) (0) - a - a - n.pdf"
}

@InProceedings{ DBLP:conf/fsen/AbdullaADP13, Author = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Delzanno, Giorgio and Podelski, Andreas", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "FSEN", date-added = "2013-11-12 09:51:27 +0000", date-modified = "2017-09-06 09:32:33 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-40213-5_13", Keywords = "gap-order constraints", Pages = "199-216", Title = "Push-Down Automata with Gap-Order Constraints", Year = "2013", File = "Push-Down Automata with Gap-Order Constraints - Abdulla, Atig, Delzanno, Podelski (0) (0) - a - a - n.pdf" }