@article{Vis05.survey,
  author       = {Eelco Visser},
  title        = {A Survey of Strategies in Rule-Based Program Transformation Systems},
  journal      = {Journal of Symbolic Computation},
  year         = 2005,
  volume       = 40,
  number       = 1,
  pages        = {831-873},
  urldoi       = {http://dx.doi.org/10.1016/j.jsc.2004.12.011},
  urljsc       = {http://authors.elsevier.com/sd/article/S0747717105000349},
  urlinfo      = {http://www.program-transformation.org/Transform/ASurveyOfStrategiesInRuleBasedProgramTransformationSystems},
  urltr        = {http://www.cs.uu.nl/research/techreps/UU-CS-2005-006.html},
  urlpdf       = {http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-022.pdf},
  backupurlpdf = {http://www.cs.uu.nl/~visser/ftp/UU-CS-2005-022.pdf},
  pubcat       = {journal},
  project      = {Stratego and TraCE},
  category     = {key and refereed},
  note         = {Special issue on Reduction Strategies in Rewriting and Programming},
  editor       = {Bernhard Gramlich and Salvador Lucas},
  class        = {Wet},
}