Jouannaud, Jean-Pierre
Rewriting techniques and applications, Dijon, France, May 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00202 .
681 LNCS
Rewriting techniques and applications, Dijon, France, May 1985 - Berlin Springer-Verlag - Lecture notes in computer science ; 00202 .
681 LNCS