Constraint expressions and workflow satisfiability.

Jason Crampton, Gregory Z. Gutin

Browse the full SACMAT paper archive.