@inproceedings{DBLP:conf/dlog/HustadtSW99,
  author       = {Ullrich Hustadt and
                  Renate A. Schmidt and
                  Christoph Weidenbach},
  editor       = {Patrick Lambrix and
                  Alexander Borgida and
                  Maurizio Lenzerini and
                  Ralf M{\"{o}}ller and
                  Peter F. Patel{-}Schneider},
  title        = {{MSPASS:} Subsumption Testing with {SPASS}},
  booktitle    = {Proceedings of the 1999 International Workshop on Description Logics
                  (DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {22},
  publisher    = {CEUR-WS.org},
  year         = {1999},
  url          = {https://ceur-ws.org/Vol-22/schmidt.ps},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/HustadtSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"EpCAZZ64zjDo7ZQXC","bibbaseid":"hustadt-schmidt-weidenbach-mspasssubsumptiontestingwithspass-1999","author_short":["Hustadt, U.","Schmidt, R. A.","Weidenbach, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Weidenbach"],"suffixes":[]}],"editor":[{"firstnames":["Patrick"],"propositions":[],"lastnames":["Lambrix"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Borgida"],"suffixes":[]},{"firstnames":["Maurizio"],"propositions":[],"lastnames":["Lenzerini"],"suffixes":[]},{"firstnames":["Ralf"],"propositions":[],"lastnames":["Möller"],"suffixes":[]},{"firstnames":["Peter","F."],"propositions":[],"lastnames":["Patel-Schneider"],"suffixes":[]}],"title":"MSPASS: Subsumption Testing with SPASS","booktitle":"Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999","series":"CEUR Workshop Proceedings","volume":"22","publisher":"CEUR-WS.org","year":"1999","url":"https://ceur-ws.org/Vol-22/schmidt.ps","timestamp":"Fri, 10 Mar 2023 16:23:16 +0100","biburl":"https://dblp.org/rec/conf/dlog/HustadtSW99.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dlog/HustadtSW99,\n author = {Ullrich Hustadt and\n Renate A. Schmidt and\n Christoph Weidenbach},\n editor = {Patrick Lambrix and\n Alexander Borgida and\n Maurizio Lenzerini and\n Ralf M{\\\"{o}}ller and\n Peter F. Patel{-}Schneider},\n title = {{MSPASS:} Subsumption Testing with {SPASS}},\n booktitle = {Proceedings of the 1999 International Workshop on Description Logics\n (DL'99), Link{\\\"{o}}ping, Sweden, July 30 - August 1, 1999},\n series = {{CEUR} Workshop Proceedings},\n volume = {22},\n publisher = {CEUR-WS.org},\n year = {1999},\n url = {https://ceur-ws.org/Vol-22/schmidt.ps},\n timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},\n biburl = {https://dblp.org/rec/conf/dlog/HustadtSW99.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Schmidt, R. A.","Weidenbach, C."],"editor_short":["Lambrix, P.","Borgida, A.","Lenzerini, M.","Möller, R.","Patel-Schneider, P. F."],"key":"DBLP:conf/dlog/HustadtSW99","id":"DBLP:conf/dlog/HustadtSW99","bibbaseid":"hustadt-schmidt-weidenbach-mspasssubsumptiontestingwithspass-1999","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-22/schmidt.ps"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["mspass","subsumption","testing","spass","hustadt","schmidt","weidenbach"],"title":"MSPASS: Subsumption Testing with SPASS","year":1999}