TPTP Reference: McC94-TR-ANL-94-6


@TechReport{McC94-TR-ANL-94-6,
    Author       = "McCune, W.W.",
    Year         = "1994",
    Title        = "{Otter 3.0 Reference Manual and Guide}",
    Number       = "ANL-94/6",
    Institution  = "Argonne National Laboratory",
    Address      = "Argonne, USA",
    Comment      = "TPTPRefForResults,TPTPRef"
}