Rewriting techniques & applications : proceedings - Jouannaud Jean-Pierre; International Conference on Rewriting Techniques & Applications( 1st : 1985 : France ); International Conference on Rewriting Techniques & Applications 1st , France 1985 (Berlin Springer Verlag, 1985)
Keywords: Computer programming