Presenting TSTP Proofs with
Inference Web Tools

by
Paolo Pinheiro da Silva
University of Texas at El Paso
USA
Geoff Sutcliffe
University of Miami
USA
Cynthia Chang
Rensselaer Polytechnic Institute
USA
Li Ding
Rensselaer Polytechnic Institute
USA
Nick del Rio
University of Texas at El Paso
USA
Deborah McGuinness
Rensselaer Polytechnic Institute
USA

Abstract