Martínez, I. y Piza, E. (2017) «Problemas de decisión y recursividad en sistemas lógicos formales», Revista de Matemática: Teoría y Aplicaciones, 23(1), pp. 11–39. doi: 10.15517/rmta.v23i1.22338.