@article{jlc06,

  author =   {M. Birna van Riemsdijk and Frank S. de Boer and John-Jules {\text{Ch}} Meyer },

  title =    {Dynamic Logic for Plan Revision in Agent Programming},

    journal = {Journal of Logic and Computation},

    volume  = "16",

    number  = "3",

    pages   = "375--402",

    year    = "2006"

}