Automated Reasoning - heftet, Engelsk, 2001