438A64F7-10A8-4996-A709-04EE1AAE0410REVES: REasoning in VErification and SecurityResearch GrantEP/K032674/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL747290005555C4-0810-4B1D-B61B-8268B750453ECheckable Proofs for First-Order Theorem Provingdd96b4901f249668497c7ed6a156b446Reger Ghttp://dx.doi.org/10.29007/s6d1http://dx.doi.org/10.29007/s6d1Conference/Paper/Proceeding/Abstract5aaacdc00a9dc7.53858932