@inproceedings{clima04,
    title = {Dynamic logic for plan revision in intelligent agents},
    author = {M. Birna van Riemsdijk and Frank S. de Boer and John-Jules {\text{Ch}} Meyer},
    booktitle = "Computational logic in multi-agent systems: fifth international workshop (CLIMA'04)",
    editor = "Joao A. Leite and Paolo Torroni",
    series = "LNAI",
    volume = "3487",
    pages = "16--32",
    year = 2005,
    publisher = "Springer"
}