@InProceedings{   DBLP:conf/lics/DemriFP13,
  Author        = "Demri, St{\'e}phane and Figueira, Diego and Praveen, M.",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "LICS",
  date-added    = "2013-10-05 15:15:54 +0000",
  date-modified = "2013-10-05 15:15:54 +0000",
  ee            = "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.8",
  Pages         = "33-42",
  Title         = "Reasoning about Data Repetitions with Counter Systems",
  Year          = "2013",
  File          = "Reasoning about Data Repetitions with Counter Systems - Demri, Figueira, Praveen (0) (0) - a - a - r.pdf",
  file-2        = "Reasoning about Data Repetitions with Counter Systems - Demri, Figueira, Praveen (1) (0) - a - a - r.pdf"
}

@InProceedings{ DBLP:conf/lics/DemriFP13, Author = "Demri, St{\'e}phane and Figueira, Diego and Praveen, M.", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "LICS", date-added = "2013-10-05 15:15:54 +0000", date-modified = "2013-10-05 15:15:54 +0000", ee = "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.8", Pages = "33-42", Title = "Reasoning about Data Repetitions with Counter Systems", Year = "2013", File = "Reasoning about Data Repetitions with Counter Systems - Demri, Figueira, Praveen (0) (0) - a - a - r.pdf", file-2 = "Reasoning about Data Repetitions with Counter Systems - Demri, Figueira, Praveen (1) (0) - a - a - r.pdf" }