Online Appendix to : On-line Automated Synthesis of Compact Normative Systems