Voigt, M. (2020). Decidable ∃∗∀∗ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates. Journal of Automated Reasoning. doi:10.1007/s10817-020-09567-8.