The specification and enforcement of authorization constraints in workflow management systems
the stable model semantics for logic programming .