Progress in the Development of
Automated Theorem Proving for
Higher-order Logic

by
Geoff Sutcliffe^* University of Miami, USA	Christoph Benzmüller International University, Germany
Chad E. Brown Saarland University, Germany	Frank Theiss International University, Germany

^* This research was done in the Automation of Logic group, Max-Planck-Institut für Informatik, Germany.