Proceedings of the 5th Conference on Automated Deduction