Model driven engineering of a tableau algorithm for description logics. Krdzavac, N., Gasevic, D., & Devedzic, V. Comput. Sci. Inf. Syst., 6(1):23–43, 2009.
Model driven engineering of a tableau algorithm for description logics [link]Paper  doi  bibtex   
@article{DBLP:journals/comsis/KrdzavacGD09,
  author    = {Nenad Krdzavac and
               Dragan Gasevic and
               Vladan Devedzic},
  title     = {Model driven engineering of a tableau algorithm for description logics},
  journal   = {Comput. Sci. Inf. Syst.},
  volume    = {6},
  number    = {1},
  pages     = {23--43},
  year      = {2009},
  url       = {https://doi.org/10.2298/CSIS0901023K},
  doi       = {10.2298/CSIS0901023K},
  timestamp = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/comsis/KrdzavacGD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0