"The Logic of Obligation as Weakest Permission - (Short Version)."

Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics