Starchak, Mikhail. “Some Decidability and Definability Problems for the Predicate of the Divisibility on Two Consecutive Numbers”. Computer Tools in Education, no. 6, Dec. 2018, pp. 5-15, https://doi.org/10.32603/2071-2340-2018-6-5-15.