@inproceedings{BroersenWieringaMeyerDEON2000,
    author = {J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer},
    title = {Mu-calculus-based Deontic Logic for Regular Actions},
    booktitle = {Pre-proceedings 5th International Workshop on Deontic Logic in Computer Science (DEON'00)},
    year = {2000},
    pages = {43--61},
    publisher = {},
    address = {},
    editor = {R. Demolombe and R. Hilpinen}}