Resolving constraint conflicts
A Logical Language for Expressing Authorizations