@inproceedings{BroersenDEON2006,
    author = {Broersen, J.M.},
    title = {Strategic Deontic Temporal Logic as a Reduction to {ATL}, with an Application to {C}hisholm's Scenario},
    booktitle = {Proceedings 8th International Workshop on Deontic Logic in Computer Science (DEON'06)},
    year = {2006},
    pages = {53--68},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4048},
    editor = {Goble, L. and Meyer, J.-J.Ch.},
    isbn   = {3-540-35842-0}
}