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 September 24, 2026. https://ph01.tci-thaijo.org/index.php/easr/article/view/43550.