Handbook of Automated Reasoning, Volume II