Handbook of Practical Logic and Automated Reasoning