Terminological logics with modal operators - Baader, Franz 1959-; Laux, Armin (1994)
Literaturverz. S. 27 - 29