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

Abstract