Equivalence of Proof Techniques. (2024). Asia Pacific Journal of Social Innovation, 14(2), 81-86. https://journals.msuiit.edu.ph/tmf/article/view/489