Closed world assumptions having precedence in predicates
scientific article; zbMATH DE number 4170135
scientific article