CITATION STYLE
Sutcliffe, G., & Suttner, C. (2004). The CADE ATP system competition. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 490–491). Springer Verlag. https://doi.org/10.1007/978-3-540-25984-8_36
Mendeley helps you to discover research relevant for your work.