Castro-Manzano, J.-M. Interpolation in Term Functor Logic. CRHF 2023, 55, 53–69.