@inproceedings{BrombergerCADE2015,
TITLE = {Linear Integer Arithmetic Revisited},
AUTHOR = {Bromberger, Martin and Sturm, Thomas and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-21400-9},
DOI = {10.1007/978-3-319-21401-6_42},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Automated Deduction -- CADE-25},
EDITOR = {Felty, Amy P. and Middeldorp, Aart},
PAGES = {623--637},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {9195},
ADDRESS = {Berlin, Germany},
}