Otter 2.0 users guide (1990)

by W McCune
Venue:Argonne National Laboratory, Maths and CS Division