%0 Conference Paper %1 conf/dlog/HustadtSW99 %A Hustadt, Ullrich %A Schmidt, Renate A. %A Weidenbach, Christoph %B Description Logics %D 1999 %E Lambrix, Patrick %E Borgida, Alexander %E Lenzerini, Maurizio %E Möller, Ralf %E Patel-Schneider, Peter F. %I CEUR-WS.org %K %T MSPASS: Subsumption Testing with SPASS. %U http://dblp.uni-trier.de/db/conf/dlog/dlog1999.html#HustadtSW99 %V 22

@inproceedings{conf/dlog/HustadtSW99, added-at = {2023-12-12T19:12:02.000+0100}, author = {Hustadt, Ullrich and Schmidt, Renate A. and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/265a362d0ae74934745ccf70e84299651/admin}, booktitle = {Description Logics}, crossref = {conf/dlog/1999}, editor = {Lambrix, Patrick and Borgida, Alexander and Lenzerini, Maurizio and Möller, Ralf and Patel-Schneider, Peter F.}, ee = {http://ceur-ws.org/Vol-22/schmidt.ps}, interhash = {1d2efbe08ea3d0dd0f55ce41bd899f30}, intrahash = {65a362d0ae74934745ccf70e84299651}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-12T19:12:02.000+0100}, title = {MSPASS: Subsumption Testing with SPASS.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog1999.html#HustadtSW99}, volume = 22, year = 1999 }