@InCollection{BDP89,
    Author       = "Bachmair, L. and Dershowitz, N. and Plaisted, D.A.",
    Year         = "1989",
    Title        = "{Completion Without Failure}",
    Editor       = "Ait-Kaci, H. and Nivat, M.",
    BookTitle    = "{Resolution of Equations in Algebraic Structures}",
    Pages        = "1-30",
    Publisher    = "Academic Press",
    Comment      = ""
}