Automatisierung Von Terminierungsbeweisen heftetTysk, 1991