Publikation

Opening the AC-Unification Race

Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence