Matthias Horbach, Marco Voigt, Christoph Weidenbach. On the Combination of the Bernays–Schönfinkel–Ramsey Fragment with Simple Linear Integer Arithmetic. Leonardo de Moura. Automated Deduction -- 26th International Conference, Aug 2017, Gothenburg, Sweden
HAL Archives-Ouvertes,
Matthias Horbach, Marco Voigt, Christoph Weidenbach. On the Combination of the Bernays–Schönfinkel–Ramsey Fragment with Simple…