Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah L. McGuinness. Presenting TSTP Proofs with Inference Web Tools. In Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.