Defining the meaning of TPTP formatted proofs.

Roberto Blanco, Tomer Libal, Dale Miller

Browse the full LPAR paper archive.