The CADE ATP System Competition

A Difficult and Arguable Venture

Organization

Outcomes