@article{NSJOM_2000_30_2a_8,
     author = {Z. 

 Ognjanovi\'c and T. Timotijevi\'c},
     title = {On two 

 approaches to modal theorem proving},
     journal = {Novi Sad Journal of Mathematics},
     pages = {83-93},
     publisher = {mathdoc},
     volume = {30},
     number = {2},
     year = {2000},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/}
}