Karapetyan, Daniel, J. Parkes, Andrew, Gutin, Gregory, Gagarin, Andrei, "Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints", Journal of Artificial Intelligence Research, 2019