%0 Journal Article
%A Zoran Ognjanović
%T Completeness Theorem for a First Order Linear-time Logic
%J Publications de l'Institut Mathématique
%D 2001
%P 1 
%V _N_S_69
%N 83
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2001_N_S_69_83_a0/
%G en
%F PIM_2001_N_S_69_83_a0