System description: Ivy (2000)

by William McCune, Olga Shumsky
Venue:In Automated Deduction (CADE), LNCS