Ein Vereinigungsalgorithmus für lineare Terme zweiter Ordnung