@article{CSIS_2009_6_1_a2,
     author = {Nenad Krd\v{z}avac and Dragan Ga\v{s}evi\'c and Vladan Deved\v{z}i\'c},
     title = {Model {Driven} {Engineering} of a {Tableau} {Algorithm} for {Description} {Logics}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {6},
     number = {1},
     year = {2009},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/}
}