Geoff Sutcliffe, Christian B. Suttner. The CADE-15 ATP System Competition. Journal of Automated Reasoning, 23(1):1-23, 1999.
@article{SutcliffeS99:0,
title = {The CADE-15 ATP System Competition},
author = {Geoff Sutcliffe and Christian B. Suttner},
year = {1999},
researchr = {https://researchr.org/publication/SutcliffeS99%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {23},
number = {1},
pages = {1-23},
}