The CADE-13 ATP System Competition

Geoff Sutcliffe, Christian B. Suttner. The CADE-13 ATP System Competition. Journal of Automated Reasoning, 18(2):137-138, 1997.

Abstract

Abstract is missing.