Старчак, М.Р. 2018. Некоторые проблемы разрешимости и выразимости для предиката делимости на два последовательных числа. Компьютерные инструменты в образовании. 6 (дек. 2018), 5-15. DOI:https://doi.org/10.32603/2071-2340-2018-6-5-15.