Title: Selected papers of the fifth International Conference on Rewriting Techniques and Applications, Montreal, Canada, 16-18 June 1993
First published: 1995