“La Fórmula de Barcan es equivalente al Teorema de Deducción”, ARETE, vol. 4, no. 2, pp. 323–335, Sep. 1992, doi: 10.18800/arete.199202.001.