Handbook of practical logic and automated reasoning - Harrison, J. (John) 1966- (Cambridge University Press, 2011)