Geoff Sutcliffe, Josef Urban. The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Commun., 29(3):423-433, 2015. [doi]
@article{SutcliffeU15, title = {The CADE-25 Automated Theorem Proving system competition - CASC-25}, author = {Geoff Sutcliffe and Josef Urban}, year = {2015}, doi = {10.3233/AIC-150691}, url = {http://dx.doi.org/10.3233/AIC-150691}, researchr = {https://researchr.org/publication/SutcliffeU15}, cites = {0}, citedby = {0}, journal = {AI Commun.}, volume = {29}, number = {3}, pages = {423-433}, }