Tateaki Sasaki. Some algebraic algorithms based on head term elimination over polynomial rings. In James H. Davenport, editor, EUROCAL 87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Volume 378 of Lecture Notes in Computer Science, pages 348-354, Springer, 1987.
Abstract is missing.