Well-definedness and semantic type-checking for the nested relational calculus
scientific article; zbMATH DE number 5132994