Karapetyan, D., J. Parkes, A., Gutin, G., & Gagarin, A. (2019). Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints. Journal of Artificial Intelligence Research, 66, 85-122. https://doi.org/10.1613/jair.1.11339