Goenawan, Stephanus Ivan. “Order Theory I and II As Foundations for Finding Relationship Between Formulas”. Engineering, MAthematics and Computer Science Journal (EMACS), vol. 2, no. 1, Jan. 2020, pp. 1-4, doi:10.21512/emacsjournal.v2i1.5804.