%0 Conference Paper %1 conf/lpar/HorrocksST99 %A Horrocks, Ian %A Sattler, Ulrike %A Tobies, Stephan %B LPAR %D 1999 %E Ganzinger, Harald %E McAllester, David A. %E Voronkov, Andrei %I Springer %K %P 161-180 %T Practical Reasoning for Expressive Description Logics. %U http://dblp.uni-trier.de/db/conf/lpar/lpar99.html#HorrocksST99 %V 1705 %@ 3-540-66492-0

@inproceedings{conf/lpar/HorrocksST99, added-at = {2023-12-13T04:02:30.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2789e4e9c91038e5c27f738e7055db461/admin}, booktitle = {LPAR}, crossref = {conf/lpar/1999}, editor = {Ganzinger, Harald and McAllester, David A. and Voronkov, Andrei}, ee = {https://www.wikidata.org/entity/Q59410605}, interhash = {9143bfd6ffef488eace48d3dbd26262a}, intrahash = {789e4e9c91038e5c27f738e7055db461}, isbn = {3-540-66492-0}, keywords = {}, pages = {161-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:02:30.000+0100}, title = {Practical Reasoning for Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar99.html#HorrocksST99}, volume = 1705, year = 1999 }