@doctoralThesis{Hustadt_1999,
title={Resolution-based decision procedures for subclasses of first-order logic},
author={Hustadt, Ullrich},
doi={http://dx.doi.org/10.22028/D291-25703},
subtitle={Resolutionsbasierte Entscheidungsverfahren für Teilklassen der Logik erster Stufe},
year={1999}
}