@article{DBLP:journals/jacm/Baader93,
author = {Franz Baader},
title = {Unification in Commutative Theories, Hilbert's Basis Theorem,
and Gr{\"o}bner Bases},
journal = {J. ACM},
volume = {40},
number = {3},
year = {1993},
pages = {477-503},
ee = {http://doi.acm.org/10.1145/174130.174133},
bibsource = {DBLP, http://dblp.uni-trier.de}
}