William McCune;Larry Wos
-;-
Otter - The CADE-13 Competition Incarnations
Journal of Automated Reasoning