Automated Deduction – CADE 26 - de Moura (Springer International Publishing, 2017)