“…International Conference on Automated Deduction Kaiserslautern, Germany…”