%0 Journal Article
%A Петар З. Хотомски
%T Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем
%J Publications de l'Institut Mathématique
%D 1982
%P 51 
%V _N_S_31
%N 45
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/
%F PIM_1982_N_S_31_45_a7