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 SR-88-11 1988.

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