On the power of ordering in linear arithmetic theories
Dmitry Chistikov and Christoph Haase
Book Title
Automata‚ Languages‚ and Programming‚ ICALP
Pages
119:1–119:15
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
168
Year
2020