Solving a multivariable congruence by change of term order
scientific article; zbMATH DE number 1098618