MSPASS: Subsumption Testing with SPASS

Hustadt, U., Schmidt, R. A. and Weidenbach, C. (1999)

In Lambrix, P. et al. (eds.), Proc. of Intern. Workshop on Description Logics'99, Linköping University, 136-137. BiBTeX, PostScript.

System description of MSPASS.


Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 27 Apr 2001
Copyright © 1999 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk