-Rewriting Techniques and Applications. Edited by J.-P. Jouannaud. VI, 441 pages, Springer-Verlag 1985