%0 Journal Article
%A Irena Pevac
%T Heuristic for Avoiding Skolemization in Theorem Proving
%J Publications de l'Institut Mathématique
%D 1985
%P 207 
%V _N_S_38
%N 52
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1985_N_S_38_52_a26/
%G en
%F PIM_1985_N_S_38_52_a26