@doctoralThesis{Teucke_2017,
title={An approximation and refinement approach to first-order automated reasoning},
author={Teucke, Andreas},
doi={http://dx.doi.org/10.22028/D291-27196},
year={2017}
}