2015-06-292015-06-10https://hdl.handle.net/10784/5485application/pdfspaProof Reconstruction: Parsing Proofsinfo:eu-repo/semantics/workingPaperinfo:eu-repo/semantics/openAccessautomatic theorem proversfirst-order logicAcceso abierto2015-06-29Montoya-Zapata, Diego Alejandrohttp://purl.org/coar/access_right/c_abf2