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]
@inproceedings{NassarS14,
title = {Automated Theorem Proving using the TPTP Process Instruction Language},
author = {Muhammad Nassar and Geoff Sutcliffe},
year = {2014},
url = {http://www.easychair.org/publications/paper/Automated_Theorem_Proving_using_the_TPTP_Process_Instruction_Language},
researchr = {https://researchr.org/publication/NassarS14},
cites = {0},
citedby = {0},
pages = {67-75},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014},
editor = {Stephan Schulz 0001 and Leonardo de Moura and Boris Konev},
volume = {31},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}