the CADE-13 competition incarnations. (1997)

by W McCune, L Otter Wos
Venue:J. of Autom. Reasoning