J. C. Cifuentes Vásquez, «La Fórmula de Barcan es equivalente al Teorema de Deducción», ARETE, vol. 4, n.º 2, pp. 323–335, sep. 1992.