@TechReport{dynlogtechrap05,

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

  title =    {Dynamic Logic for Plan Revision in Intelligent Agents},

  institution =  {Utrecht University, Institute of Information and Computing Sciences},

  number = "UU-CS-2005-013",

  year =     "2005"
}