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