Geoff Sutcliffe. The IJCAR-2004 Automated Theorem Proving Competition. AI Commun., 18(1):33-40, 2005. [doi]
@article{Sutcliffe05,
title = {The IJCAR-2004 Automated Theorem Proving Competition},
author = {Geoff Sutcliffe},
year = {2005},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=18&issue=1&spage=33},
researchr = {https://researchr.org/publication/Sutcliffe05},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {18},
number = {1},
pages = {33-40},
}