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