%0 Conference Paper %1 conf/dlog/TsarkovH03 %A Tsarkov, Dmitry %A Horrocks, Ian %B Description Logics %D 2003 %E Calvanese, Diego %E Giacomo, Giuseppe De %E Franconi, Enrico %I CEUR-WS.org %K dblp %T DL Reasoner vs. First-Order Prover. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html#TsarkovH03 %V 81

@inproceedings{conf/dlog/TsarkovH03, added-at = {2023-03-10T00:00:00.000+0100}, author = {Tsarkov, Dmitry and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2c9d897468fc50499f944af9ad4be7dd2/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2003}, editor = {Calvanese, Diego and Giacomo, Giuseppe De and Franconi, Enrico}, ee = {https://ceur-ws.org/Vol-81/tsarkov.pdf}, interhash = {9c5e6d10d7ffdacd65610208e7b36fac}, intrahash = {c9d897468fc50499f944af9ad4be7dd2}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:59:59.000+0200}, title = {DL Reasoner vs. First-Order Prover.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2003.html#TsarkovH03}, volume = 81, year = 2003 }