Pierre Lescanne Current Trends in Rewriting Techniques and Related Problems. 38-51 1987 conf/ibm/1987 Trends in Computer Algebra db/conf/ibm/algebra1987.html#Lescanne87 http://dx.doi.org/10.1007/3-540-18928-9_4