Algorithmische Aspekte der Schnittelimination. - Barbara Heußen (1983)