A. Chanda, B. Sarkar, and R. Mukherjee, “Alternative modeling schemes for propositional calculus problems”, Eng Appl Sci Res, vol. 43, no. 3, pp. 153–155, Jul. 2016.