Ralf Küsters
Nonstandard inferences in description logics
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
Nonstandard inferences in description logics
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer