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