Automated Theorem Proving
for
Hard Theorems in Rich Theories

by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
The ARTists
Department of Computer Science
University of Miami
USA

Abstract