Weak quantifier elimination for the full linear theory of the integers
scientific article; zbMATH DE number 5324353