Unification in Commutative Theories, Hilbert’s Basis Theorem, and Gröbner Bases (1993)

by F Baader
Venue:Journal of the ACM