5th Conference on Automated Deduction | DealShopping Deutschland