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.