Robert Nieuwenhuis

• Automated Deduction
• Automated Deduction CADE-20
• Rewriting Techniques and Applications