@article{ZR_2009_12_20_a3,
     author = {Milenko Mosurovi\'c and Tatjana Stojanovi\'c and Ana Kaplarevi\'c-Mali\v{s}i\'c},
     title = {Reasoning in {Basic} {Description} {Logics} and {Description} {Logics} with {Modal} {Operators}},
     journal = {Zbornik radova},
     pages = {113 },
     publisher = {mathdoc},
     volume = {12},
     number = {20},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a3/}
}