Proceedings of the 21st international conference on Automated Deduction: Automated Deduction