@inproceedings{JV01,
  author    = {Patricia Johann and Eelco Visser},
  title     = {Fusing Logic and Control with Local Transformations: An Example Optimization},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = 57,
  year      = 2001,
  editor    = {B. Gramlich and S. Lucas},
  address   = {Utrecht, The Netherlands},
  month     = {May},
  publisher = {Elsevier Science Publishers},
  booktitle = {Workshop on Reduction Strategies in Rewriting and Programming (WRS'01)},
  urlpdf    = {http://www.cs.uu.nl/people/visser/ftp/JV01.pdf},
  urlpsgz   = {http://www.cs.uu.nl/people/visser/ftp/JV01.ps.gz},
  pubcat    = {workshop},
  project   = {Stratego},
  category  = {refereed},
}