Journal Of Automated Reasoning