Armando, Alessandro, Enrico Giunchiglia, Marco Maratea, and Serena Ponta. 2013. “Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach”. Proceedings of the International Conference on Automated Planning and Scheduling 23 (1):468-69. https://doi.org/10.1609/icaps.v23i1.13577.