APA (7th ed.) Citation

Sutcliffe, G. (2017). The CADE-26 automated theorem proving system competition - CASC-26. AI Communications, 30(6), 419. https://doi.org/10.3233/AIC-170744

Chicago Style (17th ed.) Citation

Sutcliffe, Geoff. "The CADE-26 Automated Theorem Proving System Competition - CASC-26." AI Communications 30, no. 6 (2017): 419. https://doi.org/10.3233/AIC-170744.

MLA (9th ed.) Citation

Sutcliffe, Geoff. "The CADE-26 Automated Theorem Proving System Competition - CASC-26." AI Communications, vol. 30, no. 6, 2017, p. 419, https://doi.org/10.3233/AIC-170744.