Rönnedal, D. “Dyadic Deontic Logic and Semantic Tableaux”. Logic and Logical Philosophy, vol. 18, no. 3-4, Mar. 2010, pp. 221-52, doi:10.12775/LLP.2009.011.