Proofs and Models in the TPTP World
by
Geoff Sutcliffe
University of Miami, USA
geoff[@]cs.miami.edu
Abstract