@article {1706.08504, archivePrefix = {arXiv}, eprint = {1706.08504}, primaryClass = {cs.LO}, author = {Marco Voigt}, title = {The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable}, year = {2017}, url = {http://arxiv.org/abs/1706.08504} }