R. . N. PALUGA, “Equivalence of Proof Techniques”, TMF, vol. 14, no. 2, pp. 81–86, Apr. 2024.