Automated Reasoning - häftad, Engelska, 2006