TFX: The TPTP Extended Typed First-Order Form.

Geoff Sutcliffe, Evgenii Kotelnikov

Browse the full CADE paper archive.