Similar Items: 7th International Conference on Automated Deduction.