@InProceedings{   FS-mfcs08,
  Author        = "Finkel, Alain and Sangnier, Arnaud",
  BookTitle     = "Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08)",
  date-added    = "2012-12-18 15:50:09 +0000",
  date-modified = "2012-12-18 15:50:09 +0000",
  Pages         = "323-334",
  Publisher     = "Springer",
  Series        = "Lecture Notes in Computer Science",
  Title         = "Reversal-bounded Counter Machines Revisited",
  Volume        = "5162",
  Year          = "2008",
  File          = "Reversal-bounded Counter Machines Revisited - Finkel, Sangnier (0) (0) - a - a - z.pdf",
  file-2        = "Reversal-bounded Counter Machines Revisited - Finkel, Sangnier (1) (0) - a - a - z.pdf"
}

@InProceedings{ FS-mfcs08, Author = "Finkel, Alain and Sangnier, Arnaud", BookTitle = "Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08)", date-added = "2012-12-18 15:50:09 +0000", date-modified = "2012-12-18 15:50:09 +0000", Pages = "323-334", Publisher = "Springer", Series = "Lecture Notes in Computer Science", Title = "Reversal-bounded Counter Machines Revisited", Volume = "5162", Year = "2008", File = "Reversal-bounded Counter Machines Revisited - Finkel, Sangnier (0) (0) - a - a - z.pdf", file-2 = "Reversal-bounded Counter Machines Revisited - Finkel, Sangnier (1) (0) - a - a - z.pdf" }