Otter: The CADE-13 Competition Incarnations (1997)

by William McCune , Larry Wos
Venue:JOURNAL OF AUTOMATED REASONING
Citations:43 - 3 self