TPTP Reference: McC03-Otter


@TechReport{McC03-Otter,
    Author       = "McCune, W.W.",
    Year         = "2003",
    Title        = "{Otter 3.3 Reference Manual}",
    Number       = "ANL/MSC-TM-263",
    Institution  = "Argonne National Laboratory",
    Address      = "Argonne, USA",
    Comment      = ""
}