From the TPTP to the TSTP
Problems and Solutions for Automated Theorem Proving
by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu
Abstract