Page 4 of 4.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich
DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
Bernhard Hollunder; Werner Nutt
DFKI, DFKI Research Reports (RR), Vol. 90-04, 1990.
DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.
Franz Baader; Werner Nutt
DFKI, DFKI Research Reports (RR), Vol. 90-16, 1990.
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.