@article{MZM_1973_13_5_a4,
     author = {Yu. G. Penzin},
     title = {Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number},
     journal = {Matemati\v{c}eskie zametki},
     pages = {667--675},
     year = {1973},
     volume = {13},
     number = {5},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1973_13_5_a4/}
}