@Article{LP92, Author = "Lee, S-J. and Plaisted, D.A.", Year = "1992", Title = "{Eliminating Duplication with the Hyper-Linking Strategy}", Journal = "Journal of Automated Reasoning", Volume = "9", Number = "1", Pages = "25-42", Comment = "TPTPRefForResults,TPTPRef" }