TY  - RPRT
TI  - Linear Integer Arithmetic Revisited
AU  - Martin Bromberger
AU  - Thomas Sturm
AU  - Christoph Weidenbach
PY  - 2020
UR  - https://arxiv.org/abs/1503.02948
ID  - 1503.02948
ER  -