Chanda, A., Sarkar, B., & Mukherjee, R. (2016). Alternative modeling schemes for propositional calculus problems. Engineering and Applied Science Research, 43(3), 153–155. Retrieved from https://ph01.tci-thaijo.org/index.php/easr/article/view/43550