@inproceedings{BroersenDEON08,
  author    = {Jan Broersen},
  title     = {A Logical Analysis of the Interaction between 'Obligation-to-do'
               and 'Knowingly Doing'},
  booktitle = {Proceedings 9th International Workshop on Deontic Logic in Computer Science (DEON'08)},
  year      = {2008},
  publisher = {Springer},
  pages     = {140-154},
  series = {Lecture Notes in Computer Science},
  volume = {5076},
  editor = {Torre, L.W.N. van der and Meyden, R. van der}
}