The Future of the TPTP World

by
Geoff Sutcliffe Department of Computer Science University of Miami, USA	David Plaisted Department of Computer Science University of North Carolina at Chapel Hill, USA