LAI, Y.; MEEL, K. S.; YAP, R. H. C. The Power of Literal Equivalence in Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 35, n. 5, p. 3851-3859, 2021. DOI: 10.1609/aaai.v35i5.16503. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/16503. Acesso em: 4 oct. 2022.