Jason Crampton Hemanth Khambhammettu Delegation and satisfiability in workflow systems. 31-40 2008 SACMAT http://doi.acm.org/10.1145/1377836.1377842 conf/sacmat/2008 db/conf/sacmat/sacmat2008.html#CramptonK08