## Otter: The CADE-13 Competition Incarnations (1997)

by
William McCune
,
Larry Wos

Venue: | JOURNAL OF AUTOMATED REASONING |

Citations: | 43 - 3 self |

### BibTeX

@ARTICLE{McCune97otter:the,

author = {William McCune and Larry Wos},

title = {Otter: The CADE-13 Competition Incarnations},

journal = {JOURNAL OF AUTOMATED REASONING},

year = {1997},

volume = {18},

pages = {211--220}

}

### Years of Citing Articles

### OpenURL

### Abstract

This article discusses the two incarnations of Otter entered in the CADE-13 Automated Theorem Proving Competition. Also presented are some historical background, a summary of applications that have led to new results in mathematics and logic, and a general discussion of Otter.