@Article{Zha93, Author = "Zhang, H.", Year = "1993", Title = "{Automated Proofs of Equality Problems in Overbeek's Competition}", Journal = "Journal of Automated Reasoning", Volume = "11", Number = "3", Pages = "333-351", Comment = "TPTPRef" }