Chanda, Anupama, Bijan Sarkar, and R.N. Mukherjee. “Alternative Modeling Schemes for Propositional Calculus Problems”. Engineering and Applied Science Research 43, no. 3 (July 25, 2016): 153–155. Accessed May 6, 2024. https://ph01.tci-thaijo.org/index.php/easr/article/view/43550.