Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
International Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen Giesl
Berlin Springer New York c2005
Acesso online. A biblioteca também possui exemplares impressos.