@inproceedings{HorbachCADE2017,
TITLE = {On the Combination of the {B}ernays-{S}ch{\"o}nfinkel-{R}amsey Fragment with Simple Linear Integer Arithmetic},
AUTHOR = {Horbach, Matthias and Voigt, Marco and Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-63045-8},
DOI = {10.1007/978-3-319-63046-5_6},
PUBLISHER = {Springer},
YEAR = {2017},
DATE = {2017},
BOOKTITLE = {Automated Deduction -- CADE 26},
EDITOR = {de Moura, Leonardo},
PAGES = {77--94},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {10395},
ADDRESS = {Gothenburg, Sweden},
}