Conditional term rewriting systems
International Workshop CTRS (3rd 1992 : Pont-à-Mousson, France) M Rusinowitch (Michael); J. L Remy
Berlin New York Springer-Verlag 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.656 e.1 ) e outros locais(Acessar)