The Resolution Calculus - heftet, Engelsk, 2011