A Gentzen System for Reasoning with Contrary-To-Duty Obligations", Australasian Journal of Logic, vol
Adaptive Deterrence Sanctions in a Normative Framework
How Do Agents Comply with Norms?