Journal | Contributors | Profile
References
Ralf Küsters
with Baader, F. (2006)., Nonstandard inferences in description logics: the story so far, in D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, pp. 1-75.