Adlešić, T.; Čačić, V. The Cardinal Squaring Principle and an Alternative Axiomatization of NFU. B Sect Log 2023, 52, 551-581.