Uckelman, S. L. (2014). Reasoning about Obligations in Obligationes: A Formal Approach. In R. Goré, B. Kooi, & A. Kurucz (Eds.), Advances in modal logic. Volume 10 (553-568)