Goenawan, Stephanus Ivan. “Order Theory I and II As Foundations for Finding Relationship Between Formulas”. Engineering, MAthematics and Computer Science Journal (EMACS) 2, no. 1 (January 28, 2020): 1–4. Accessed July 11, 2025. https://journal.binus.ac.id/index.php/EMACS/article/view/5804.