Title: 9th International Conference on Automated Deduction: Argonne, Illinois
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving