TY  - JOUR
AU  - V. S. Neiman
TI  - Proof search without repeated examination of subgoals
JO  - Doklady Akademii Nauk
PY  - 1986
SP  - 1065
EP  - 1068
VL  - 286
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1986_286_5_a9/
LA  - ru
ID  - DAN_1986_286_5_a9
ER  -