%0 Journal Article
%A Z. 

 Ognjanović
%A T. Timotijević
%T On two 

 approaches to modal theorem proving
%J Novi Sad Journal of Mathematics
%D 2000
%P 83-93
%V 30
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/
%F NSJOM_2000_30_2a_8