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