TY  - RPRT
TI  - Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
AU  - Tim S. Lyon
AU  - Jonas Karge
PY  - 2024
DO  - 10.24963/ijcai.2024/386
UR  - https://arxiv.org/abs/2404.15840
ID  - 2404.15840
ER  -