%0 Journal Article %1 journals/comsis/KrdzavacGD09 %A Krdzavac, Nenad %A Gasevic, Dragan %A Devedzic, Vladan %D 2009 %J Comput. Sci. Inf. Syst. %K dblp %N 1 %P 23-43 %T Model driven engineering of a tableau algorithm for description logics. %U http://dblp.uni-trier.de/db/journals/comsis/comsis6.html#KrdzavacGD09 %V 6

@article{journals/comsis/KrdzavacGD09, added-at = {2019-05-21T00:00:00.000+0200}, author = {Krdzavac, Nenad and Gasevic, Dragan and Devedzic, Vladan}, biburl = {https://www.bibsonomy.org/bibtex/24edbcdfd42de1049b588fea3f0382e34/dblp}, ee = {https://www.wikidata.org/entity/Q57782475}, interhash = {d45295878f69f69e7913c5663724cd4a}, intrahash = {4edbcdfd42de1049b588fea3f0382e34}, journal = {Comput. Sci. Inf. Syst.}, keywords = {dblp}, number = 1, pages = {23-43}, timestamp = {2019-05-22T11:39:01.000+0200}, title = {Model driven engineering of a tableau algorithm for description logics.}, url = {http://dblp.uni-trier.de/db/journals/comsis/comsis6.html#KrdzavacGD09}, volume = 6, year = 2009 }