Beiträge zum Nachweis der Termination von Termersetzungssystemen. - Le Trong Bai (1992)