@inproceedings{amast04,
    author = "M. Birna van Riemsdijk and John-Jules {\text{Ch}} Meyer and Frank S. de Boer",
    title = "Semantics of Plan Revision in Intelligent Agents",
    booktitle = "Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology ({AMAST04})",
    volume = "3116",
    series = "{LNCS}",
    publisher = "Springer",
    editor = "Charles Rattray and Savitri Maharaj and Carron Shankland",
    pages = "426--442",
    year =     "2004"}