The CADE-28 ATP System Competition
by
Geoff Sutcliffe
Department of Computer Science
University of Miami, USA
This talk is being recorded
Abstract