«La Fórmula de Barcan es equivalente al Teorema de Deducción». Areté, vol. 4, n.º 2, septiembre de 1992, pp. 323-35, https://doi.org/10.18800/arete.199202.001.