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