@Article{Soc92, Author = "Socher-Ambrosius, R.", Year = "1992", Title = "{How to Avoid the Derivation of Redundant Clauses in Reasoning Systems}", Journal = "Journal of Automated Reasoning", Volume = "9", Number = "1", Pages = "77-97", Comment = "TPTPRef" }