%0 Journal Article %A D. N. Babin %T Efficient recognition of the completeness of a system of automaton functions with a complete Boolean part %J Diskretnaya Matematika %D 2003 %P 110-130 %V 15 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/DM_2003_15_1_a5/ %G ru %F DM_2003_15_1_a5