@InProceedings{LW92,
    Author       = "Lusk, E.L. and Wos, L.",
    Year         = "1992",
    Title        = "{Benchmark Problems in Which Equality Plays the Major
                    Role}",
    Editor       = "Kapur D.",
    BookTitle    = "{Proceedings of the 11th International Conference on
                    Automated Deduction}",
    Place        = "Saratoga Springs, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "607",
    Pages        = "781-785",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}