A new criterion for normal form algorithms (1999)

by B Mourrain
Venue:Proc. Applic. Algebra in Engineering, Communic. and Computing, volume 1719 of Lecture Notes in Computer Science