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