Otter - the CADE-13 competition incarnations (1997)

by William McCune, Larry Wos
Venue:Journal of Automated Reasoning