Oliveira, M. d. O., & Urmian, S. (2022). From Width-Based Model Checking to Width-Based Automated Theorem Proving.
Chicago Style (17th ed.) CitationOliveira, Mateus de Oliveira, and Sam Urmian. From Width-Based Model Checking to Width-Based Automated Theorem Proving. 2022.
MLA (9th ed.) CitationOliveira, Mateus de Oliveira, and Sam Urmian. From Width-Based Model Checking to Width-Based Automated Theorem Proving. 2022.
Warning: These citations may not always be 100% accurate.