Title: Handbook of Practical Logic and Automated Reasoning