Razumovskii Spartak Nikolaevich

Publications in Math-Net.Ru

1. On the transformation of programs for the solution of complicated logical problems to optimal form
   
   Dokl. Akad. Nauk SSSR, 139:3 (1961),  562–565
2. On automatic coding in programming language translation problems
   
   Dokl. Akad. Nauk SSSR, 113:4 (1957),  760–761