"Obligation, Free Choice, and the Logic of Weakest Permissions."

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