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