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.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
