Kuebler, Martin (2005): Zwei Gedanken zur hoeherstufigen Unifikation: Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik