Automated deduction - CADE 28 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings - Platzer, André; Sutcliffe, Geoff (Springer, 2021)