Guillaume Aucher, Guido Boella, and Leendert van der Torre. Deontic Logic in Computer Science, volume 6181 of Lecture Notes in Computer Science, page 196--213. Berlin, Heidelberg, Springer, (2010)10.1007/978-3-642-14183-6_15.
Guillaume Aucher, Guido Boella, and Leendert van der Torre. Deontic Logic in Computer Science, volume 6181 of Lecture Notes in Computer Science, page 196--213. Berlin, Heidelberg, Springer, (2010)10.1007/978-3-642-14183-6_15.