An Approach to Verify Conflicts among Multiple Norms in Multi-Agent SystemsEduardo A. SilvestreViviane T. Silva2016WI 2016