German Workshop Term Rewriting: Theory and Applications (1 : 1989 : Kaiserslautern) Bezüge im Wissensnetz Veranstaltungsort (1) GND Kaiserslautern