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

Browse the full CADE paper archive.