Counting the solutions of Presburger equations without enumerating them.
scientific article; zbMATH DE number 2056573