de Oliveira Oliveira, M.; Vadiee, F. From Width-Based Model Checking to Width-Based Automated Theorem Proving. AAAI 2023, 37, 6297-6304.