TPTP Reference: McC03


@TechReport{McC03-MACE4-TR,
    Author       = "McCune, W.W.",
    Year         = "2003",
    Title        = "{Mace4 Reference Manual and Guide}",
    Number       = "ANL/MCS-TM-264",
    Institution  = "Argonne National Laboratory",
    Address      = "Argonne, USA",
    Comment      = "TPTPRef,"
}
@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      = ""
}