1.
Sutcliffe G. Automated Theorem Proving: A Review. AIMag [Internet]. 2002Mar.15 [cited 2024Mar.28];23(1):121. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1617