Graf, P. (1992). Unification Using Dynamic Sorts. Master Thesis, Universität des Saarlandes, Saarbrücken.