Karapetyan, D., & Gutin, G. (2023). Solving the Workflow Satisfiability Problem using General Purpose Solvers. IEEE Transactions on Dependable and Secure Computing, 20(6), 4474 - 4485. https://doi.org/10.1109/tdsc.2022.3227241