LARA This is an old revision of the document! Handbook of Practical Logic and Automated Reasoning by John Harrison (Intel Corporation, Portland, Oregon) Cambrige University Press Site