%0 Journal Article
%A U. M. Bishenov
%T Procedure for assessing the truth of statements of discrete linear time logic
%J News of the Kabardin-Balkar scientific center of RAS
%D 1998
%P 32-37
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_1998_1_a5/
%G ru
%F IZKAB_1998_1_a5