TPTP, TSTP, CASC, etc.
Automated Reasoning in Practice

by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA
geoff[@]cs.miami.edu

Abstract