TY  - RPRT
TI  - On $P$-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics ${\cal EL}, {\cal EL}^+$
AU  - Dennis Peuter
AU  - Viorica Sofronie-Stokkermans
AU  - Sebastian Thunert
PY  - 2023
UR  - https://arxiv.org/abs/2307.08843
ID  - 2307.08843
ER  -