Proceedings of the 9th International Conference on Automated Deduction