@Unpublished{McC-Otter-URL,
    Author       = "McCune, W.W.",
    Year         = "",
    Title        = "{Otter: An Automated Deduction System}",
    Note         = "http://www.cs.unm.edu/~mccune/otter/",
    Comment      = "TPTPRef,TPTPCite"
}