@incollection{KnuthBendix:1983,
    Author = {Knuth, D.E. and Bendix, P.B.},
    BookTitle = {Automation of Reasoning},
    Editor = {Siekmann, J{\"o}rgH. and Wrightson, Graham},
    ISBN = {978-3-642-81957-5},
    Keywords = {classic},
    Language = {English},
    Pages = {342-376},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Symbolic Computation},
    Title = {Simple Word Problems in Universal Algebras},
    URL = {http://dx.doi.org/10.1007/978-3-642-81955-1\_23},
    Year = {1983},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-81955-1\_23},
    date-added = {2014-01-25 12:25:53 +0000},
    date-modified = {2014-01-25 12:25:59 +0000},
    doi = {10.1007/978-3-642-81955-1_23}
}

@incollection{KnuthBendix:1983, Author = {Knuth, D.E. and Bendix, P.B.}, BookTitle = {Automation of Reasoning}, Editor = {Siekmann, J{\"o}rgH. and Wrightson, Graham}, ISBN = {978-3-642-81957-5}, Keywords = {classic}, Language = {English}, Pages = {342-376}, Publisher = {Springer Berlin Heidelberg}, Series = {Symbolic Computation}, Title = {Simple Word Problems in Universal Algebras}, URL = {http://dx.doi.org/10.1007/978-3-642-81955-1_23}, Year = {1983}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-81955-1_23}, date-added = {2014-01-25 12:25:53 +0000}, date-modified = {2014-01-25 12:25:59 +0000}, doi = {10.1007/978-3-642-81955-1_23} }