Sutcliffe, G. 2002. Automated Theorem Proving: A Review. AI Magazine. 23, 1 (Mar. 2002), 121. DOI:https://doi.org/10.1609/aimag.v23i1.1617.