Chanda, A.; Sarkar, B.; Mukherjee, R. Alternative Modeling Schemes for Propositional Calculus Problems. Eng Appl Sci Res 2016, 43, 153-155.