J. Siekmann

• Automation of Reasoning
• Automation of Reasoning No. 2