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