An ideal-theoretic approach to word problems and unification problems over finitely presented commutative algebras (1985)

by A Kandri-Rody, D Kapur, P Narendran
Venue:Rewriting Techniques and Applications, volume 202 of Lecture Notes in Computer Science