@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" }