TY  - RPRT
TI  - Computation of Interpolants for Description Logic Concepts in Hard Cases
AU  - Jean Christoph Jung
AU  - Jędrzej Kołodziejski
AU  - Frank Wolter
PY  - 2025
UR  - https://arxiv.org/abs/2507.15689
ID  - 2507.15689
ER  -