Jason Crampton, Gregory Gutin, Anders Yeo. On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem. ACM Trans. Inf. Syst. Secur., 16(1):4, 2013. [doi]
@article{CramptonGY13, title = {On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem}, author = {Jason Crampton and Gregory Gutin and Anders Yeo}, year = {2013}, doi = {10.1145/2487222.2487226}, url = {http://doi.acm.org/10.1145/2487222.2487226}, researchr = {https://researchr.org/publication/CramptonGY13}, cites = {0}, citedby = {0}, journal = {ACM Trans. Inf. Syst. Secur.}, volume = {16}, number = {1}, pages = {4}, }