Bromberger, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
http://ceur-ws.org/Vol-1617/paper2.pdf (Publisher version)
Bromberger, M., & Weidenbach, C. (2016). Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. In T. King, & R. Piskac (Eds.), Satisfiability Modulo Theories (pp. 15-30). Aachen: CEUR-WS.org.