Shafiei, M. (2017) “A Higher-order Dialogical Logic to demonstrate Leibniz’s Law of Identity of Indiscernibles”, Revista de Humanidades de Valparaíso, (9), pp. 73–88. doi: 10.22370/rhv2017iss9pp73-88.