On the compatibility between the minimalist foundation and constructive set theory
scientific article; zbMATH DE number 7627927
scientific article