Pease, A., and A. Aberdein. “Five Theories of Reasoning: Interconnections and Applications to Mathematics”. Logic and Logical Philosophy, vol. 20, no. 1-2, June 2011, pp. 7–57, doi:10.12775/LLP.2011.002.