Rublev, Vadim, AND Vahmyanin, Daniil. " Автоматизированная обучающая система «Доказательство утверждений для множеств»" Современные информационные технологии и ИТ-образование [Онлайн], Том 15 Номер 4 (23 December 2019)