TY  - RPRT
TI  - Model Comparison Games for Horn Description Logics
AU  - Jean Christoph Jung
AU  - Fabio Papacchini
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2019
UR  - https://arxiv.org/abs/1904.06919
ID  - 1904.06919
ER  -