Sutcliffe, G. “Automated Theorem Proving: A Review”. AI Magazine, vol. 23, no. 1, Mar. 2002, p. 121, doi:10.1609/aimag.v23i1.1617.