CHANDA, A.; SARKAR, B.; MUKHERJEE, R. Alternative modeling schemes for propositional calculus problems. Engineering and Applied Science Research, [S. l.], v. 43, n. 3, p. 153–155, 2016. Disponível em: https://ph01.tci-thaijo.org/index.php/easr/article/view/43550. Acesso em: 6 may. 2024.