“Sobre un método de árboles para la lógica de términos numérica”, UACM, vol. 16, no. 41, pp. 103–125, Nov. 2019, doi: 10.29092/uacm.v16i41.717.