@article{KJM_2001_23_1_a12,
     author = {Zoran Ognjanovi\'c},
     title = {The resolution tableau for logics of likelihood},
     journal = {Kragujevac Journal of Mathematics},
     pages = {107 - 117},
     publisher = {mathdoc},
     volume = {23},
     number = {1},
     year = {2001},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/}
}