M. Shafiei, “A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles”, RHV, no. 9, pp. 73–88, Jul. 2017.