OTTER3.0 Reference Manual and Guide

OTTER3.0 Reference Manual and Guide (1995)

by William W. McCune

Citations:

@MISC{McCune95otter3.0reference,
    author = {William W. McCune},
    title = {OTTER3.0 Reference Manual and Guide},
    year = {1995}
}