M. Manzano and M. C. Moreno, “Identity, Equality, Nameability and Completeness”, B Sect Log, vol. 46, no. 3/4, pp. 169–195, Dec. 2017, doi: 10.18778/0138-0680.46.3.4.02.