Automated Theorem Proving using the TPTP Process Instruction Language.

Muhammad Nassar, Geoff Sutcliffe

Browse the full CADE paper archive.