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