Journal of Automated Reasoning (Hybrid)