N. PALUGA, R. . Equivalence of Proof Techniques. ASIA PACIFIC JOURNAL OF SOCIAL INNOVATION, [S. l.], v. 14, n. 2, p. 81–86, 2024. Disponível em: https://journals.msuiit.edu.ph/tmf/article/view/489. Acesso em: 18 oct. 2024.