Similar Items: 6th Conference on Automated Deduction.