STARCHAK, M. Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers. Computer Tools in Education, n. 6, p. 5-15, 28 Dec. 2018.