Geoff Sutcliffe. The CADE-24 automated theorem proving system competition - CASC-24. AI Commun., 27(4):405-416, 2014. [doi]
@article{Sutcliffe14-0, title = {The CADE-24 automated theorem proving system competition - CASC-24}, author = {Geoff Sutcliffe}, year = {2014}, doi = {10.3233/AIC-140606}, url = {http://dx.doi.org/10.3233/AIC-140606}, researchr = {https://researchr.org/publication/Sutcliffe14-0}, cites = {0}, citedby = {0}, journal = {AI Commun.}, volume = {27}, number = {4}, pages = {405-416}, }