@article{Sutcliffe21,
TITLE = {The {CADE}-28 Automated Theorem Proving System Competition -- {CASC}-28},
AUTHOR = {Sutcliffe, Geoff and Desharnais, Martin},
LANGUAGE = {eng},
ISSN = {0921-7126},
DOI = {10.3233/AIC-210235},
PUBLISHER = {IOS},
ADDRESS = {Amsterdam, Netherlands},
YEAR = {2021},
DATE = {2021},
JOURNAL = {AI Communications},
VOLUME = {34},
NUMBER = {4},
PAGES = {259--276},
}