@article{MZM_2004_76_3_a5,
     author = {S. M. Dudakov},
     title = {Collapse {Result} for {Extensions} of the {Presburger} {Arithmetic} by {a~Unary} {Function} {Compatible} with {Addition}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {362--371},
     publisher = {mathdoc},
     volume = {76},
     number = {3},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2004_76_3_a5/}
}