The TPTP Format for Clausal Tableau Proofs

History

Requirements

The Format

Viewing Connect++'s refutation of a simple problem in SystemOnTSTP/ITV