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