Jump to content

Bibtex:GLU08

From Termination-Portal.org
Revision as of 15:04, 16 June 2009 by Balarcon (talk | contribs) (→BibTex)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>