For citations:

Snyatkov A.S. On Decidability of the Theory Th(u, 0,1,<, +, f₀,..., f_n). Modeling and Analysis of Information Systems. 2010;17(3):72-90. (In Russ.)