]> 2012-05-29T10:14:41-04:00 Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008) Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008) Presenting TSTP Proofs with Inference Web Tools Booktitle FOAF:name Entity