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.