1. Aldewereld, H., Dignum, F., García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A., Sierra, C., 2006. Operationalisation of norms for usage in electronic institutions. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM, New York, NY, USA, 2006, pp. 223–225. http://doi.acm.org/10.1145/1160633.1160669.
2. Alechina, N., Dastani, M., Logan, B., 2012. Programming norm-aware agents. In: van der Hoek, W., Padgham, L., Conitzer, V., Winikoff, M. (Eds.), AAMAS, IFAAMAS, 2012, pp. 1057–1064.
3. From Logic Programming to Prolog;Apt,1997
4. Artosi, A., Cattabriga, P., Governatori, G., 1994. KED: a deontic theorem prover. In: Workshop on Legal Application of Logic Programming. IDG, Santa Margherita Ligure, Italy, 1994, pp. 60–76.
5. Logical approaches to deontic reasoning;Balbiani;Int. J. Intell. Syst.,2008