@doctoralThesis{Voigt_2019,
title={Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates},
author={Voigt, Marco},
doi={http://dx.doi.org/10.22028/D291-28428},
year={2019}
}