On the Combination of the Bernays-Schnfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic.

Matthias Horbach, Marco Voigt, Christoph Weidenbach

Browse the full CADE paper archive.