Otter—the CADE-13 competition incarnations (1997)

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