Association for Automated Reasoning