George Gargov;Solomon Passy
-;-
Bibliography
The description logic handbook
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence