Castro-Manzano J-M. Interpolation in Term Functor Logic. CRHF [Internet]. 27 de octubre de 2023 [citado 10 de mayo de 2024];55(165):53–69. Disponible en: https://critica.filosoficas.unam.mx/index.php/critica/article/view/1466