Publikation

Opening the AC-Unification Race

Hans-Jürgen Bürckert, A. Herold, D. Kapur, Jörg Siekmann, M.E. Stickel, M. Tepp, H. Zhang

In: Journal of Automated Reasoning (JAR) 4 4 Seiten 465-474 Springer Berlin - Heidelberg 1989.

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