“...International Conference on Automated Deduction Brémy, Německo)...”