Skip to main content Skip to main navigation

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.