CADE-13 ATP system competition results. http://www.cs.jcu.edu.au/ftp/users/GSutcliffe/Competition/Results.html (1996)

by G Sutcliffe, C Suttner