Paulo Pinheiro da Silva Geoff Sutcliffe Cynthia Chang Li Ding Nicholas Del Rio Deborah L. McGuinness Presenting TSTP Proofs with Inference Web Tools. 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/paper-07.pdf conf/cade/2008paar db/conf/cade/paar2008.html#SilvaSCDRM08