Resources: Automated Reasoning