Complexity of Presburger arithmetic with fixed quantifier dimension
scientific article; zbMATH DE number 1040696