The Expansion, Modernisation, and
Future of the TPTP World

by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA