@inproceedings{BrombergerSMT2016,
TITLE = {Computing a Complete Basis for Equalities Implied by a System of {LRA} Constraints},
AUTHOR = {Bromberger, Martin and Weidenbach, Christoph},
LANGUAGE = {eng},
ISSN = {1613-0073},
PUBLISHER = {CEUR-WS.org},
YEAR = {2016},
BOOKTITLE = {Satisfiability Modulo Theories (SMT 2016)},
EDITOR = {King, Tim and Piskac, Ruzica},
PAGES = {15--30},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {1617},
ADDRESS = {Coimbra, Portugal},
URL = {http://ceur-ws.org/Vol-1617/paper2.pdf}
}

@Article{Bromberger2017,
author="Bromberger, Martin
and Weidenbach, Christoph",
title="New techniques for linear arithmetic: cubes and equalities",
journal="Formal Methods in System Design",
year="2017",
month="May",
day="08",
issn="1572-8102",
doi="10.1007/s10703-017-0278-7",
url="https://doi.org/10.1007/s10703-017-0278-7"
}