N. PALUGA, R. . “Equivalence of Proof Techniques”. ASIA PACIFIC JOURNAL OF SOCIAL INNOVATION, vol. 14, no. 2, Apr. 2024, pp. 81-86, https://journals.msuiit.edu.ph/tmf/article/view/489.