Publication February 1, 2010 Special Issue on Automated Deduction: Decidability, Complexity, Tractability SRI International February 1, 2010 ↓ View online Share this