"On Multi-agent Systems Specification via Deontic Logic."

Alessio Lomuscio, Marek J. Sergot (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics