GRUNGE: A Grand Unified ATP Challenge.

Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban

Browse the full CADE paper archive.