A. Pease and A. Aberdein, “Five theories of reasoning: Interconnections and applications to mathematics”, LLP, vol. 20, no. 1-2, pp. 7–57, Jun. 2011.