Young Uk Ryu

• A formal representation of normative systems