Equivalence of Proof Techniques. APJSI [Internet]. 2024 Apr. 25 [cited 2026 Jul. 19];14(2):81-6. Available from: https://journals.msuiit.edu.ph/tmf/article/view/489