C. Sayward, “What is the logic of propositional identity?”, LLP, vol. 15, no. 1, pp. 3–15, Mar. 2006.