in Term Rewriting and Applications, Proceedings in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4533, Pages: 169-183 (15)
Conference
18Th International Conference on Rewriting Techniques and Applications, Date: JUN 26-28, 2007, Location: Paris, FRANCE, Host: Conservatoire Natl Arts & Metiers
