2016-01-272015-12-19http://hdl.handle.net/10784/7944application/pdfengfirst-order logicproof-term reconstructionproof assistantsProof-term reconstruction from TSTP to AgdaworkingPaperinfo:eu-repo/semantics/openAccessAcceso abierto2016-01-27Gómez-Londoño, Alejandro