On the power of ordering in linear arithmetic theories

Publication
Automata, Languages, and Programming, ICALP