Pease, A.; Aberdein, A. Five Theories of Reasoning: Interconnections and Applications to Mathematics. LLP 2011, 20, 7–57.