Chanda, A., Sarkar, B. and Mukherjee, R. 2016. Alternative modeling schemes for propositional calculus problems. Engineering and Applied Science Research. 43, 3 (Jul. 2016), 153–155.