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.

@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},
}