Open problems in rewriting - Dershowitz, Nachum 1951-; Jouannaud, Jean-Pierre; Klop, Jan Willem 1945- (1991)