J. C. Cifuentes Vásquez, «Sobre los meta teoremas de deducción y el concepto de “implicación lógica”», ARETE, vol. 2, n.º 1, pp. 31–48, dic. 1990.