Alexander Leitsch

1952

• Automated Model Building
• Computational logic and proof theory
• The resolution calculus