The TPTP Typed First-order Form with Arithmetic:
The Language and Some Applications
by
Geoff Sutcliffe
University of Miami, USA
Abstract