A. Adinda, N. C. Siregar, and S. A. NST, “Exploring Deductive Reasoning Patterns in Proving Logical Statements Using Equivalence Theorem”, isej, vol. 7, no. 2, pp. 350-359, May 2026.