Guido Boella Leendert van der Torre Substantive and procedural norms in normative multiagent systems. 152-171 2008 6 J. Applied Logic 2 http://dx.doi.org/10.1016/j.jal.2007.06.006 db/journals/japll/japll6.html#BoellaT08