L. Crosilla and Øystein Linnebo, “Definiteness in Early Set Theory”, JPM, vol. 1, pp. 43–62, Sep. 2024.