Automated Deduction – CADE 28 - Platzer, André; Sutcliffe, Geoff (Springer International Publishing, 2021)