Alfredo Ferro Giovanni Gallo Groebner Bases, Ritt's Algorithm and Decision Procedures for Algebraic Theories. 230-237 1987 conf/aaecc/1987 AAECC db/conf/aaecc/aaecc1987.html#FerroG87 https://doi.org/10.1007/3-540-51082-6_81