@inproceedings{BroersenWieringaMeyerNMR2002,
    author = {J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer},
    title = {The mutual exclusion problem in reasoning about action and change},
    booktitle = {Pre-proceedings NMR2002},
    year = {2002},
    pages = {365--371},
    publisher = {},
    address = {},
    editor = {P. Doherty and M. Thielscher}}