@Unpublished{McC-EQP-URL,
    Author       = "McCune, W.W.",
    Year         = "",
    Title        = "{EQP: Equational Prover}",
    Note         = "{http://www.cs.unm.edu/~mccune/eqp/}",
    Comment      = "TPTPRef"
}