@inproceedings{VB98,
  author    = {Visser, Eelco and Benaissa, Zine-el-Abidine},
  title     = {A Core Language for Rewriting},
  series    = {Electronic Notes in Theoretical Computer Science},
  year      = 1998,
  volume    = 15,
  month     = {September},
  editor    = {C.~Kirchner and H.~Kirchner},
  booktitle = {Second International Workshop on Rewriting Logic and its Applications (WRLA'98)},
  address   = {Pont-{\`a}-Mousson, France},
  publisher = {Elsevier Science Publishers},
  urlpsgz   = {http://www.cs.uu.nl/people/visser/ftp/VB98.ps.gz},
  pubcat    = {workshop},
  project   = {Stratego},
  category  = {refereed},
}