Zwei Gedanken zur höherstufigen Unifikation: relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. - Martin Kübler (2004)