(1)
Sutcliffe, G. Automated Theorem Proving: A Review. AIMag 2002, 23, 121.