M. Starchak, “Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers”, CTE, no. 6, pp. 5-15, Dec. 2018.