Conditional term rewriting systems proceedings
International Workshop on Conditional Term Rewriting Systems, 1., Orsay, 1987 Jean-Pierre Jouannaud
Berlin Springer 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.308 ex.1 ) e outros locais(Acessar)