@InProceedings{   ChistikovHaase:Taming:ICALP16,
  Author        = "Chistikov, Dmitry and Haase, Christoph",
  BookTitle     = "Proc. of ICALP'16",
  date-added    = "2016-04-26 12:48:35 +0000",
  date-modified = "2016-05-17 15:34:47 +0000",
  Title         = "The Taming of the Semi-Linear Set",
  Year          = "2016",
  File          = "The Taming of the Semi-Linear Set - Chistikov, Haase (0) (0) - a - a - h.pdf"
}

@InProceedings{ ChistikovHaase:Taming:ICALP16, Author = "Chistikov, Dmitry and Haase, Christoph", BookTitle = "Proc. of ICALP'16", date-added = "2016-04-26 12:48:35 +0000", date-modified = "2016-05-17 15:34:47 +0000", Title = "The Taming of the Semi-Linear Set", Year = "2016", File = "The Taming of the Semi-Linear Set - Chistikov, Haase (0) (0) - a - a - h.pdf" }