Shafiei, Mohammad. “A Higher-Order Dialogical Logic to Demonstrate Leibniz’s Law of Identity of Indiscernibles”. Revista De Humanidades De Valparaíso, no. 9, July 2017, pp. 73-88, doi:10.22370/rhv2017iss9pp73-88.