%0 Journal Article
%A Miodrag Kapetanović
%A Aleksandar Krapež
%T A Proof Procedure for the First Order Logic
%J Publications de l'Institut Mathématique
%D 1989
%P 3 
%V _N_S_45
%N 59
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1989_N_S_45_59_a0/
%G en
%F PIM_1989_N_S_45_59_a0