%0 Book
%A 
%T Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
%U /book/72136800/Rewriting-techniques-and-applications-5th-Intern/