Matthias Horbach, Marco Voigt, Christoph Weidenbach
On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic
CADE, 2017.
@inproceedings{CADE-2017-HorbachVW,
author = "Matthias Horbach and Marco Voigt and Christoph Weidenbach",
booktitle = "{Proceedings of the 26th International Conference on Automated Deduction}",
doi = "10.1007/978-3-319-63046-5_6",
isbn = "['978-3-319-63045-8', '978-3-319-63046-5']",
pages = "77--94",
publisher = "{Springer}",
title = "{On the Combination of the Bernays-Schönfinkel-Ramsey Fragment with Simple Linear Integer Arithmetic}",
year = 2017,
}