The Results - of the CADE-13 (1997)

by Geoff Sutcliffe, Christian B Suttner
Venue:ATP System Competition. J. Autom. Reasoning