M. de Oliveira Oliveira and F. Vadiee, “From Width-Based Model Checking to Width-Based Automated Theorem Proving”, AAAI, vol. 37, no. 5, pp. 6297-6304, Jun. 2023.