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