Geoff Sutcliffe, Christian B. Suttner. The CADE-19 ATP System Competition. AI Commun., 17(3):103-110, 2004. [doi]
@article{SutcliffeS04,
title = {The CADE-19 ATP System Competition},
author = {Geoff Sutcliffe and Christian B. Suttner},
year = {2004},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0921-7126&volume=17&issue=3&spage=103},
researchr = {https://researchr.org/publication/SutcliffeS04},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {17},
number = {3},
pages = {103-110},
}