Quantifier Elimination for Linear Modular Constraints
scientific article