Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings - Dershowitz, Nachum (Lecture notes in computer science, 1989)