Automated deduction - CADE 26 : 26th international conference on automated deduction, Gothenburg, Sweden, august 6-11, 2017, Proceedings (2017)