Martínez, I. and Piza, E. (2017) “Decision problems and recursiveness in formal logic systems”, Revista de Matemática: Teoría y Aplicaciones, 23(1), pp. 11–39. doi: 10.15517/rmta.v23i1.22338.