1. Agrawal, D., Giles, J., Lee, K., Lobo, J.: Policy ratification. In: Proceedings of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, Los Alamitos, CA, USA, pp. 223–232. IEEE Computer Society (2005)
2. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 305–343. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_11
3. ter Beek, M., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines, pp. 59–74 (2009)
4. Brace, K.S., Rudell, R.L., Bryant, R.E.: Efficient implementation of a BDD package. In: Proceedings of the 27th ACM/IEEE Conference on Design Automation, pp. 40–45. IEEE/ACM, ACM Press (1991)
5. Bryant, R.E.: Binary decision diagrams. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 191–217. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_7