TY  - JOUR
AU  - Nenad Krdžavac
AU  - Dragan Gašević
AU  - Vladan Devedžić
TI  - Model Driven Engineering of a Tableau Algorithm for Description Logics
JO  - Computer Science and Information Systems
PY  - 2009
VL  - 6
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2009_6_1_a2/
ID  - CSIS_2009_6_1_a2
ER  -