Publikation
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), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.
@article{pub1839, author = { Bürckert, Hans-Jürgen and Herold, A. and Kapur, D. and Siekmann, Jörg and Stickel, M.E. and Tepp, M. and Zhang, H. }, title = {Opening the AC-Unification Race}, year = {1989}, volume = {4}, number = {4}, pages = {465--474}, journal = {Journal of Automated Reasoning (JAR)}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023