Chanda A, Sarkar B, Mukherjee R. Alternative modeling schemes for propositional calculus problems. Eng Appl Sci Res [internet]. 2016 Jul. 25 [cited 2026 Sep. 23];43(3):153-5. available from: https://ph01.tci-thaijo.org/index.php/easr/article/view/43550