Rublev, V., & 		Vahmyanin, D.
(2019).
 Automated Training System "Proof of Statements for the Set".
<em>Modern Information Technologies And IT-Education, 15</em>(4), 866-875.
doi:10.25559/SITITO.15.201904.866-875