@doctoralThesis{Bromberger_2019,
title={Decision procedures for linear arithmetic},
author={Bromberger, Martin},
doi={http://dx.doi.org/10.22028/D291-30636},
year={2019}
}