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