Dmitry Tsarkov, Ian Horrocks. DL Reasoner vs. First-Order Prover. In Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
@inproceedings{TsarkovH03, title = {DL Reasoner vs. First-Order Prover}, author = {Dmitry Tsarkov and Ian Horrocks}, year = {2003}, url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/tsarkov.pdf}, researchr = {https://researchr.org/publication/TsarkovH03}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, volume = {81}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }