Rublev, V., & 		Vahmyanin, D.
2019 Dec 23.  Automated Training System "Proof of Statements for the Set". Modern Information Technologies and IT-Education. [Online] 15:4