9th International Conference on Automated Deduction: Argonne, Illinois: Proceedings (Lecture Notes in Computer Science)