TY  - JOUR
AU  - Yu. I. Zhuravlev
TI  - Recognition algorithms with representative sets (logic algorithms)
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2002
SP  - 1425
EP  - 1435
VL  - 42
IS  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2002_42_9_a14/
LA  - ru
ID  - ZVMMF_2002_42_9_a14
ER  -