«Sobre un método de árboles para la lógica de términos numérica», UACM, vol. 16, n.º 41, pp. 103–125, nov. 2019, doi: 10.29092/uacm.v16i41.717.