Harald Ganzinger

• Automated Deduction - CADE-16
• ESOP '88
• Informatik
• Logic for programming and automated reasoning