Jump to content

Bibtex:GLU08

From Termination-Portal.org

BibTex

<bibtex> @inproceedings{GLU08,

 author    = {R. Gutiérrez, S. Lucas and X. Urbain},
 title     = {Usable Rules for Context-Sensitive Rewrite Systems},
 booktitle = {Rewriting Techniques and Applications, 19th International
              Conference, RTA'08},
 editor    = {Andrei Voronkov},

address = { Hagenberg, Austria},

 year      = {2008},
 pages     = {126-141},

}



</bibtex>