2015-06-292015-06-10http://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 Alejandro