Generic complexity of Presburger arithmetic
scientific article; zbMATH DE number 5677846
scientific article