Rewriting techniques and applications proceedings - Comon Hubert ed.; International Conference, RTA-97 on Rewriting Techniques and Applications (8th : 2-5 Jun 1997 : Sitges,Spain); International conference, RTA-97 on rewriting techniques and applications Sitges, Spain 2-5 Jun 1997 (Berlin Springer-Verlag, 1997)
Keywords: Computer programming