OTTER 3.3 reference manual (2003)

by W McCune
Venue:Argonne National Laboratory