APA (7th ed.) Citation

Sutcliffe, G. (2018). The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9. AI Communications, 31(6), 495. https://doi.org/10.3233/AIC-180773

Chicago Style (17th ed.) Citation

Sutcliffe, Geoff. "The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9." AI Communications 31, no. 6 (2018): 495. https://doi.org/10.3233/AIC-180773.

MLA (9th ed.) Citation

Sutcliffe, Geoff. "The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9." AI Communications, vol. 31, no. 6, 2018, p. 495, https://doi.org/10.3233/AIC-180773.