A. Prior, «Extensionality and Propositional Identity», CRHF, vol. 3, n.º 7-8, pp. 35–60, jun. 1969.