de Oliveira Oliveira M, Vadiee F. From Width-Based Model Checking to Width-Based Automated Theorem Proving. AAAI [Internet]. 2023Jun.26 [cited 2026Apr.22];37(5):6297-304. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25775