Efficient model checking via the equational /spl mu/-calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |