{The Taming of the Semi-Linear Set}
@inproceedings{CHHA16, address = {Dagstuhl, Germany}, author = {Chistikov, Dmitry and Haase, Christoph}, booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, doi = {10.4230/LIPIcs.ICALP.2016.128}, editor = {Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide}, isbn = {978-3-95977-013-2}, issn = {1868-8969}, pages = {128:1--128:13}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, sha256 = {791B0C4916C84279A3528A85E42B31E7C887808400739CD6DAB6D0FF3CC0ACFD}, title = {{The Taming of the Semi-Linear Set}}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2016.128}, urn = {urn:nbn:de:0030-drops-62636}, volume = {55}, year = {2016} }