@INPROCEEDINGS{HustadtSchmidtWeidenbach99,
AUTHOR = {Hustadt, U. and Schmidt, R. A. and Weidenbach, C.},
YEAR = {1999},
TITLE = {{MSPASS}: Subsumption Testing with {SPASS}},
EDITOR = {P. Lambrix and A. Borgida and M. Lenzerini and R. M{\"o}ller and P. Patel-Schneider},
BOOKTITLE = {Proc.\ of Intern.\ Workshop on Description Logics'99},
PUBLISHER = {Link{\"o}ping University},
PAGES = {136--137},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtSchmidtWeidenbach99.html},
}