Feedback
keyword: description logics – 2 free books.
Automated Reasoning
Christoph Benzmüller et al. (editors)
Frontiers of Combining Systems
Uli Sattler and Martin Suda, editors