%0 Journal Article
%A B. A. Trakhtenbrot
%T Finite automata and the logic of single-place predicates
%J Doklady Akademii Nauk
%D 1961
%P 326-329
%V 140
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1961_140_2_a13/
%G ru
%F DAN_1961_140_2_a13