TPTP Reference: McC-Prover9-URL

TPTP Reference: `McC-Prover9-URL`

@Unpublished{McC-Prover9-URL,
    Author       = "McCune, W.W.",
    Year         = "",
    Title        = "{Prover9}",
    Note         = "{http://www.cs.unm.edu/~mccune/prover9/}",
    Comment      = ""
}