CASC
The CADE ATP System Competition
by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
Abstract