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