Proceedings of the tenth international conference on Automated deduction