T. Adlešić and V. Čačić, “The Cardinal Squaring Principle and an Alternative Axiomatization of NFU”, B Sect Log, vol. 52, no. 4, pp. 551–581, Sep. 2023.