de Oliveira Oliveira, Mateus, and Farhad Vadiee. 2023. “From Width-Based Model Checking to Width-Based Automated Theorem Proving”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (5):6297-6304. https://doi.org/10.1609/aaai.v37i5.25775.