TXF: The TPTP Typed Extended First-order Form

by
Geoff Sutcliffe Department of Computer Science University of Miami, USA	Evgenii Kotelnikov Department of Computer Science and Engineering Chalmers University of Technology, Sweden