Patrick Fitzpatrick. Solving a Multivariable Congruence by Change of Term Order. Journal of Symbolic Computation, 24(5):575-589, 1997.
@article{Fitzpatrick97:0, title = {Solving a Multivariable Congruence by Change of Term Order}, author = {Patrick Fitzpatrick}, year = {1997}, researchr = {https://researchr.org/publication/Fitzpatrick97%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {24}, number = {5}, pages = {575-589}, }