Second-order reasoning in description logics
Journal of Applied Non-Classical Logics (2006) - Comments
doi: 10.3166/jancl.16.517-530  issn: 1166-3081  issn: 1958-5780 

Andrzej Szalas