C9BD1153-717D-44B9-B68D-BE3BB0BE7C10The Integration and Interaction of Multiple Mathematical Reasoning ProcessesResearch GrantEP/N014758/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL13044546787A938-A8E8-4EB3-988F-E408A26AB39ALogic-Based Program Synthesis and Transformation6d1ce75395ca4686c4fc1c03ff8e7675Fu P2015-01-01http://dx.doi.org/10.1007/978-3-319-27436-2_6978-3-319-27435-5http://dx.doi.org/10.1007/978-3-319-27436-2_6A Type-Theoretic Approach to Resolution91-106Book Chapter56cdd3842980f5.79315838