by International Conference on Rewriting Techniques and Applications (4th 1991 Como, Italy)
"This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers…