IRON: a machine for the automated synthesis of normative systems | Publicación