@inproceedings{CH20,
  title = "On the power of ordering in linear arithmetic theories",
  author = "Dmitry Chistikov and Christoph Haase",
  year = "2020",
  booktitle = "Automata, Languages, and Programming, {ICALP}",
  pages = "119:1--119:15",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  volume = "168",
  doi = "10.4230/LIPIcs.ICALP.2020.119",
}