I. Martínez y E. Piza, «Problemas de decisión y recursividad en sistemas lógicos formales», Rev. mat. (En línea), vol. 23, n.º 1, pp. 11–39, abr. 2017.