N. PALUGA, ROLANDO. “Equivalence of Proof Techniques”. ASIA PACIFIC JOURNAL OF SOCIAL INNOVATION 14, no. 2 (April 25, 2024): 81–86. Accessed October 18, 2024. https://journals.msuiit.edu.ph/tmf/article/view/489.