Voigt, Marco Automation of Logic, MPI for Informatics, Max Planck Society;
Voigt, M. (2017). The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable. In C. Dixon, & M. Finger (Eds.), Frontiers of Combining Systems (pp. 244-261). Berlin: Springer. doi:10.1007/978-3-319-66167-4_14.