@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" }