“Equivalence of Proof Techniques”, APJSI, vol. 14, no. 2, pp. 81–86, Apr. 2024, Accessed: Mar. 16, 2026. [Online]. Available: https://journals.msuiit.edu.ph/tmf/article/view/489