“...International Conference on Automated Deduction Kodaň, Dánsko)...”