@inproceedings{CH16,
  title = "The Taming of the Semi-Linear Set",
  author = "Dmitry Chistikov and Christoph Haase",
  year = "2016",
  booktitle = "Automata, Languages, and Programming, {ICALP}",
  pages = "128:1--128:13",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  volume = "55",
  doi = "10.4230/LIPIcs.ICALP.2016.128",
}