Shafiei, M. A Higher-Order Dialogical Logic to Demonstrate Leibniz’s Law of Identity of Indiscernibles. RHV 2017, 73-88.