Cifuentes Vásquez, J. C. (1992) La Fórmula de Barcan es equivalente al Teorema de Deducción, Areté, 4(2), pp. 323-335. doi: 10.18800/arete.199202.001.