Journal of Automated Reasoning