Faermark David Samuilovich

Publications in Math-Net.Ru

1. An algorithm for establishing the identity of words in a nilpotent product of groups each given by a finite number of generators and defining relations
   
   Dokl. Akad. Nauk SSSR, 137:2 (1961),  291–294