Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Eggers, A., Kruglov, E., Kupferschmid, S., Scheibler, K., Teige, T., & Weidenbach, C. (2011). Superposition Modulo Non-linear Arithmetic. In V. Sofronie-Stokkermans, & C. Tinelli (Eds.), Frontiers of Combining Systems (pp. 119-134). Berlin: Springer. doi:10.1007/978-3-642-24364-6_9.