Pease, Alison, and Andrew Aberdein. 2011. “Five Theories of Reasoning: Interconnections and Applications to Mathematics”. Logic and Logical Philosophy 20 (1-2):7–57. https://doi.org/10.12775/LLP.2011.002.