Automated Deduction – CADE-22 (Springer Berlin Heidelberg, 2020)