The CADE-16 ATP system competition (0)

by G Sutcliffe
Venue:Journal of Automated Reasoning