@MASTERSTHESIS{Engel96,
AUTHOR = {Engel, T.},
MONTH = {October},
YEAR = {1996},
TITLE = {Quantifier Elimination in Second-Order Predicate Logic},
TYPE = {Diplomarbeit},
SCHOOL = {Fachbereich Informatik, Univ.\ des Saarlandes},
ADDRESS = {Saarbr{\"u}cken, Germany},
}