The Expansion, Modernisation, and
Future of the TPTP World
by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA