The complexity of the equivalence problem for two characterizations of Presburger sets
scientific article; zbMATH DE number 3710145