TY  - BOOK
AU  - Carsten Lutz
AU  - Anni-Yasmin Turhan
AU  - Cesare Tinelli
AU  - Frank Wolter
AU  - Uli Sattler
TI  - Description Logic, Theory Combination, and All That
SN  - 9783030221027
PY  - 2019///
PB  - Springer Nature
KW  - Computer Science
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-030-22102-7
ER  -