10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27 | DealShopping Deutschland