Muhammad Nassar, Geoff Sutcliffe. Automated Theorem Proving using the TPTP Process Instruction Language. In Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, pages 67-75, EasyChair, 2014. [doi]
Abstract is missing.