Jorg H. Siekmann

• Automation of Reasoning
• 8th International Conference on Automated Deduction
• Automation of Reasoning