@PHDTHESIS{Hustadt99a,
 AUTHOR        = {Hustadt, Ullrich},
 TITLE         = {Resolution-Based Decision Procedures for Subclasses of First-Order Logic},
 SCHOOL        = {Universit{\"a}t des Saarlandes},
 YEAR          = {1999},
 ADDRESS       = {Saarbr{\"u}cken, Germany},
 MONTH         = nov,
}