@Article{BG94,
    Author       = "Bachmair, L. and Ganzinger, H.",
    Year         = "1994",
    Title        = "{Rewrite-based Equational Theorem Proving with Selection and Simplification}",
    Journal      = "Journal of Logic and Computation",
    Volume       = "4",
    Number       = "3",
    Pages        = "217-247",
    Comment      = ""
}