The specification and enforcement of authorization constraints in workflow management systems
Foundations of Logic Programming