Deduction and Decision Procedures