A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
scientific article; zbMATH DE number 3591967