Solving a Multivariable Congruence by Change of Term Order

Patrick Fitzpatrick. Solving a Multivariable Congruence by Change of Term Order. Journal of Symbolic Computation, 24(5):575-589, 1997.

Abstract

Abstract is missing.