TY  - JOUR
AU  - O. A. Dolotova
TI  - On the complexity of minimal control tests for Post classes
JO  - Doklady Akademii Nauk
PY  - 1992
SP  - 730
EP  - 733
VL  - 324
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1992_324_4_a1/
LA  - ru
ID  - DAN_1992_324_4_a1
ER  -