Cifuentes Vásquez, J. C. “La Fórmula De Barcan Es Equivalente Al Teorema De Deducción”. Areté, Vol. 4, no. 2, Sept. 1992, pp. 323-35, doi:10.18800/arete.199202.001.