1. Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British nationality act as a logic program. Commun ACM 29(5):370–386
2. Antoniou G, Dimaresis N, Governatori G (2007). A system for modal and deontic defeasible reasoning. In AI 2007: Advances in artificial intelligence, 20th Australian joint conference on artificial intelligence, Gold Coast, Australia, December 2–6, 2007, proceedings
3. Kerrigan S, Law KH (2003). Logic-based regulation compliance-assistance. In Proceedings of the 9th international conference on artificial intelligence and law, ICAIL 2003, Edinburgh, Scotland, UK, June 24–28, 2003. pp. 126–135
4. Zeni N, Kiyavitskaya N, Mich NL, Cordy JR, Mylopoulos J (2015) GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir Eng 20(1):1–22
5. Sagar S, Kholkar D, Kulkarni V (2016) Informed active learning to aid domain experts in modeling compliance. In: 2016 IEEE 20th international enterprise distributed object computing conference (EDOC). IEEE