Castro-Manzano J-M. Interpolation in Term Functor Logic. CRHF [Internet]. 2023 Oct. 27 [cited 2025 Mar. 26];55(165):53–69. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/1466