Constraints, consistency and closure
scientific article; zbMATH DE number 1238309
scientific article