Giovanni Sartor,Guido Governatori

• Deontic Logic in Computer Science