N. PALUGA R. Equivalence of Proof Techniques. APJSI [Internet]. 2024 Apr. 25 [cited 2025 Jun. 22];14(2):81-6. Available from: https://journals.msuiit.edu.ph/tmf/article/view/489