Rewriting techniques and applications : proceedings of the second international conference on rewriting techniques and applications RTA-87 held in Bordeaux, France on May 25-27, 1987 - INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (2nd : 1987 : Bordeaux, France) (Springer, 1987)