@doctoralThesis{Wischnewski_2012,
title={Efficient reasoning procedures for complex first-order theories},
author={Wischnewski, Patrick},
doi={http://dx.doi.org/10.22028/D291-26406},
subtitle={Effizientes logisches Schließen für komplexe Theorien der Prädikatlogik erster Stufe},
year={2012}
}