"Automated Theorem Proving using the TPTP Process Instruction Language."

Muhammad Nassar, Geoff Sutcliffe (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics