@article{DM_1991_3_4_a12,
     author = {G. Yu. Kudryavtsev},
     title = {Distinguishability of vertices of automaton labyrinths by finite automata},
     journal = {Diskretnaya Matematika},
     pages = {143--152},
     publisher = {mathdoc},
     volume = {3},
     number = {4},
     year = {1991},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_1991_3_4_a12/}
}