CIFUENTES VÁSQUEZ, J. C. La Fórmula de Barcan es equivalente al Teorema de Deducción. Areté, v. 4, n. 2, p. 323-335, 3 set. 1992.