J.-M. Castro-Manzano, “Interpolation in Term Functor Logic”, CRHF, vol. 55, no. 165, pp. 53–69, Oct. 2023.