Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings - de Moura, Leonardo (Springer International Publishing : Imprint: Springer, 2017)