2016-01-272015-12-19https://hdl.handle.net/10784/7944application/pdfengfirst-order logicproof-term reconstructionproof assistantsinfo:eu-repo/semantics/workingPaperinfo:eu-repo/semantics/openAccessAcceso abierto2016-01-27Gómez-Londoño, Alejandrohttp://purl.org/coar/access_right/c_abf2