TY  - JOUR
AU  - D. N. Zhuk
TI  - On the classification of Post automaton bases by the decidability of the $A$-completeness property for definite automata
JO  - Diskretnaya Matematika
PY  - 2010
SP  - 80
EP  - 95
VL  - 22
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_2010_22_2_a6/
LA  - ru
ID  - DM_2010_22_2_a6
ER  -