@inproceedings{astefanoaei09lopstr,
  author    = {Lacramioara Astefanoaei and
               Frank S. de Boer and
               M. Birna van Riemsdijk},
  title     = {Using Rewrite Strategies for Testing {BUpL} Agents},
  booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
               Symposium, Revised Selected Papers (LOPSTR'09)},
  year      = {2010},
  pages     = {143--157},
  series    = {LNCS},
  volume    = {6037},
  publisher = {Springer}
}