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 February 7, 2026. https://journal.binus.ac.id/index.php/EMACS/article/view/5804.