@article{Bromberger2017,
TITLE = {New Techniques for Linear Arithmetic: {C}ubes and Equalities},
AUTHOR = {Bromberger, Martin and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {0925-9856},
DOI = {10.1007/s10703-017-0278-7},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {2017},
DATE = {2017},
JOURNAL = {Formal Methods in System Design},
VOLUME = {51},
NUMBER = {3},
PAGES = {433--461},
}