Neiman V S

Publications in Math-Net.Ru

1. Proof search without repeated examination of subgoals
   
   Dokl. Akad. Nauk SSSR, 286:5 (1986),  1065–1068