Pease, A. and Aberdein, A. (2011) “Five theories of reasoning: Interconnections and applications to mathematics”, Logic and Logical Philosophy, 20(1-2), pp. 7–57. doi: 10.12775/LLP.2011.002.