Rublev, V., & 		Vahmyanin, D.
(2019).
 Автоматизированная обучающая система «Доказательство утверждений для множеств».
<em>Современные информационные технологии и ИТ-образование, 15</em>(4), 866-875.
doi:10.25559/SITITO.15.201904.866-875