Bromberger, M., & Weidenbach, C. (2017). New Techniques for Linear Arithmetic: Cubes and Equalities. Formal Methods in System Design, First Online, 1-29. doi:10.1007/s10703-017-0278-7.