TY - RPRT TI - Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem AU - Gregory Gutin AU - Stefan Kratsch AU - Magnus Wahlström PY - 2014 UR - https://arxiv.org/abs/1409.7261 ID - 1409.7261 ER -