TY - RPRT TI - On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem AU - Jason Crampton AU - Gregory Gutin AU - Anders Yeo PY - 2013 UR - https://arxiv.org/abs/1205.0852 ID - 1205.0852 ER -