Sutcliffe, Geoff. “Automated Theorem Proving: A Review”. AI Magazine 23, no. 1 (March 15, 2002): 121. Accessed March 29, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1617.