@InProceedings{   DBLP:conf/mfcs/LazicOW13,
  Author        = {Lazic, Ranko and Ouaknine, Jo{\"e}l and Worrell, James},
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "MFCS",
  date-added    = "2013-11-10 10:31:35 +0000",
  date-modified = "2013-11-10 10:31:35 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-40313-2\_57",
  Pages         = "643-654",
  Title         = "Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian",
  Year          = "2013",
  File          = "Zeno, Hercules and the Hydra Downward Rational Termination Is Ackermannian - Lazic, Ouaknine, Worrell (0) (0) - a - a - x.pdf"
}

@InProceedings{ DBLP:conf/mfcs/LazicOW13, Author = {Lazic, Ranko and Ouaknine, Jo{\"e}l and Worrell, James}, bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "MFCS", date-added = "2013-11-10 10:31:35 +0000", date-modified = "2013-11-10 10:31:35 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-40313-2_57", Pages = "643-654", Title = "Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian", Year = "2013", File = "Zeno, Hercules and the Hydra Downward Rational Termination Is Ackermannian - Lazic, Ouaknine, Worrell (0) (0) - a - a - x.pdf" }