%0 Journal Article
%A Dragoš Cvetković
%A Irena Pevac
%T Some Heuristics in Automatic Theorem Proving
%J Publications de l'Institut Mathématique
%D 1984
%P 167 
%V _N_S_35
%N 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1984_N_S_35_49_a22/
%G en
%F PIM_1984_N_S_35_49_a22