%0 Journal Article %1 journals/tplp/LukacsyS09 %A Lukácsy, Gergely %A Szeredi, Péter %D 2009 %J Theory Pract. Log. Program. %K dblp %N 3 %P 343-414 %T Efficient description logic reasoning in Prolog: The DLog system. %U http://dblp.uni-trier.de/db/journals/tplp/tplp9.html#LukacsyS09 %V 9

@article{journals/tplp/LukacsyS09, added-at = {2020-02-13T00:00:00.000+0100}, author = {Lukácsy, Gergely and Szeredi, Péter}, biburl = {https://www.bibsonomy.org/bibtex/2a56fa8d0f372dd87d7121fe81a1d6237/dblp}, ee = {https://doi.org/10.1017/S1471068409003792}, interhash = {105acd4b0ac33aa442528da35e6aac46}, intrahash = {a56fa8d0f372dd87d7121fe81a1d6237}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 3, pages = {343-414}, timestamp = {2020-02-14T11:43:46.000+0100}, title = {Efficient description logic reasoning in Prolog: The DLog system.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp9.html#LukacsyS09}, volume = 9, year = 2009 }