Otter: The CADE-13 Competition Incarnations (1997)

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