Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications (4 1991 Como) Ronald V Book
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.488 e.1 ) e outros locais(Acessar)