Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications (6. 1995 Kaiserslautern) Jieh Hsiang
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.914 e.1 ) e outros locais(Acessar)