2024. Equivalence of Proof Techniques. Asia Pacific Journal of Social Innovation. 14, 2 (Apr. 2024), 81–86.