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