@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 1998)}, address = {Pont-{\`a}-Mousson, France}, publisher = {Elsevier Science Publishers}, urldoi = {http://dx.doi.org/10.1016/S1571-0661(05)80027-1}, urlps = {http://www.st.ewi.tudelft.nl/~eelco/papers/VB98.ps}, pubcat = {workshop}, project = {Stratego}, category = {refereed}, issn = {1571-0661}, }