[1]
M. Manzano and M. C. Moreno, “Identity, equality, nameability and completeness. Part II”, B Sect Log, vol. 47, no. 3, pp. 141–158, Oct. 2018.