]> 2012-02-10T07:15:39-05:00 Nick del Rio Nicholas Del Rio Presenting TSTP Proofs with Inference Web Tools Presenting TSTP Proofs with Inference Web Tools Has author Author Has alias Nicholas Del Rio Has identifier