Proceeding on rewriting techniques and applications - Jouannaud Jean-Pierre Ed.; Symposium on rewriting techniques and applications (1985 : France) (Berlin Springer-Verlag, 1985)
Keywords: Computer science