Automated Deduction â€" CADE 28 - Platzer (Springer International Publishing, 2021)