Goenawan, S. I. (2020). Order Theory I and II As Foundations for Finding Relationship Between Formulas. Engineering, MAthematics and Computer Science Journal (EMACS), 2(1), 1–4. https://doi.org/10.21512/emacsjournal.v2i1.5804