Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications, 3., Chapel Hill, 1989 Nachum Dershowitz
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.355 e.1 ) e outros locais(Acessar)