The CADE-25 Automated Theorem Proving system competition - CASC-25

Sutcliffe, G, Urban, J.

SUTCLIFFE, G and J. URBAN. The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Communications. 2016, 29(3), 423-433. ISSN 0921-7126. DOI 10.3233/AIC-150691.