Rewriting techniques and applications : 19th International conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008: proceedings / ed. A. Voronkov, 2008 r=on-line. - Текст : электронный.