Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
linear modular equations (linear congruences)
scientific article; zbMATH DE number 5637101
scientific article