Otter: The CADE-13 Competition Incarnations (1997)
by
William McCune
,
Larry Wos
| Venue: | JOURNAL OF AUTOMATED REASONING |
| Citations: | 41 - 3 self |
Document Versions
| Otter: The CADE-13 Competition Incarnations –William McCune, Larry Wos — 1997 — JOURNAL OF AUTOMATED REASONING |
| Otter: The CADE-13 Competition Incarnations –William Mccune, Larry Wos — 1997 — Journal of Automated Reasoning |
