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