Rönnedal, D. (2010) “Dyadic deontic logic and semantic tableaux”, Logic and Logical Philosophy, 18(3-4), pp. 221–252. doi: 10.12775/LLP.2009.011.