The Logic Languages of the TPTP World
by
Geoff Sutcliffe
University of Miami, USA
Abstract