Rewriting techniques and applications
International Conference on Rewriting Techniques and Applications, 1., Dijon, 1985 Jean-Pierre Jouannaud
Berlin Springer 1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.202 ex.1 ) e outros locais(Acessar)