Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.
