Chanda, A.; Sarkar, B.; Mukherjee, R. Alternative modeling schemes for propositional calculus problems. Eng Appl Sci Res 2016, 43, 153-155.