On \(P\)-interpolation in local theory extensions and applications to the study of interpolation in the description logics \(\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+\). (English) Zbl 07838500
Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 419-437 (2023).