Sutcliffe, G., & Desharnais, M. (2021). The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Communications, 34(4), 259-276. doi:10.3233/AIC-210235.