@article{PIM_2001_N_S_69_83_a4,
     author = {Neboj\v{s}a Ikodinovi\'c},
     title = {Craig {Interpolation} {Theorem} for {Classical} {Propositional} {Logic} with some {Probability} {Operators}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {27 },
     publisher = {mathdoc},
     volume = {_N_S_69},
     number = {83},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_2001_N_S_69_83_a4/}
}