%0 Book
%A International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(
%T Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
%U /book/72122070/Rewriting-techniques-and-applications-4th-Intern/