Terminological Logics with Modal Operators.

Franz Baader, Armin Laux

Browse the full IJCAI paper archive.