On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics Eℒ, Eℒ+. - Dennis Peuter; Viorica Sofronie-Stokkermans; Sebastian Thunert (CADE, 2023)

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛+. - Dennis Peuter; Viorica Sofronie-Stokkermans; Sebastian Thunert (CoRR, 2023)