Chanda, A., B. Sarkar, and R. Mukherjee. “Alternative Modeling Schemes for Propositional Calculus Problems”. Engineering and Applied Science Research, vol. 43, no. 3, July 2016, pp. 153-5, https://ph01.tci-thaijo.org/index.php/easr/article/view/43550.