J.-M. Castro-Manzano, «Interpolation in Term Functor Logic», CRHF, vol. 55, n.º 165, pp. 53–69, oct. 2023.