5 works on record
8th International Conference on Automated Deduction
Künstliche Intelligenz
Automation of reasoning
Mechanizing mathematical reasoning
Computational Logic