@Article{BD88,
    Author       = "Bachmair, L. and Dershowitz, N.",
    Year         = "1988",
    Title        = "{Critical Pair Criteria for Completion}",
    Journal      = "Journal of Symbolic Computation",
    Volume       = "6",
    Number       = "1",
    Pages        = "1-18",
    Comment      = ""
}