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