%0 Journal Article
%A Nenad Krdžavac
%A Dragan Gašević
%A Vladan Devedžić
%T Model Driven Engineering of a Tableau Algorithm for Description Logics
%J Computer Science and Information Systems
%D 2009
%V 6
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/
%F CSIS_2009_6_1_a2