A tableaux system for deontic interpreted systems - Governatori,G; Lomuscio,A; Sergot,MJ (Springer-Verlag, 2003)