@misc{indiciaea735c3c5f517,
  title = {On \$P\$-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics \$\{\textbackslash{}cal EL\}, \{\textbackslash{}cal EL\}\textasciicircum{}+\$},
  author = {Dennis Peuter and Viorica Sofronie-Stokkermans and Sebastian Thunert},
  year = {2023},
  url = {https://arxiv.org/abs/2307.08843},
  note = {Source identifier: 2307.08843}
}