@doctoralThesis{Hillenbrand_2008, title={Superposition and decision procedures back and forth}, author={Hillenbrand, Thomas}, doi={http://dx.doi.org/10.22028/D291-25942}, year={2008} }