Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sutcliffe, G., Suttner, C. The CADE-13 ATP System Competition. Journal of Automated Reasoning 18, 137–138 (1997). https://doi.org/10.1023/A:1005839515219
Issue Date:
DOI: https://doi.org/10.1023/A:1005839515219