G. Sutcliffe, “Automated Theorem Proving: A Review”, AIMag, vol. 23, no. 1, p. 121, Mar. 2002.