@article{NCD_2012_20_a4,
     author = {Predrag Jani\v{c}i\'c},
     title = {Overview of {Automated} {Reasoning} in {Serbia}},
     journal = {Review of the National Center for Digitization},
     pages = {53 },
     publisher = {mathdoc},
     volume = {20},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/NCD_2012_20_a4/}
}