@doctoralThesis{Horbach_2010,
title={Saturation-based decision procedures for fixed domain and minimal model validity},
author={Horbach, Matthias},
doi={http://dx.doi.org/10.22028/D291-25997},
year={2010}
}