The CADE-13 ATP System Competition

held at

The Thirteenth International Conference on Automated Deduction
Rutgers University, New Brunswick, USA
30 July - 3 August, 1996

An ATP system competition was held at CADE-13, on Thursday, 1 August, 1996.

The competition was organized by Christian Suttner and Geoff Sutcliffe. The competition was overseen by a panel of knowledgeable researchers who were not participating in the event; the panel members were Peter Andrews, Alan Bundy, and Jeff Pelletier.

In case you have any comments or questions, please email the organizers.

Christian Suttner, Geoff Sutcliffe, 10.9.96