Rublev, Vadim, AND 		Vahmyanin, Daniil.
" Automated Training System "Proof of Statements for the Set"" <em>Modern Information Technologies and IT-Education</em> [Online], Volume 15 Number 4 (23 December 2019)