in TERM REWRITING AND APPLICATIONS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4098, Páginas: 197-211 (15)
Conference
17Th International Conference on Rewriting Techniques and Applications, Date: AUG 12-14, 2006, Location: Seattle, WA, Patrocinadores: Cadence, IBM, Microsoft Res