%0 Journal Article %1 journals/jar/BurckertHKSSTZ88 %A Bürckert, Hans-Jürgen %A Herold, Alexander %A Kapur, Deepak %A Siekmann, Jörg H. %A Stickel, Mark E. %A Tepp, Michael %A Zhang, Hantao %D 1988 %J J. Autom. Reason. %K %N 4 %P 465-474 %T Opening the AC-Unification Race. %U http://dblp.uni-trier.de/db/journals/jar/jar4.html#BurckertHKSSTZ88 %V 4

@article{journals/jar/BurckertHKSSTZ88, added-at = {2023-12-12T17:41:59.000+0100}, author = {Bürckert, Hans-Jürgen and Herold, Alexander and Kapur, Deepak and Siekmann, Jörg H. and Stickel, Mark E. and Tepp, Michael and Zhang, Hantao}, biburl = {https://www.bibsonomy.org/bibtex/2afa3b70d65f1418a3db5925250c67275/admin}, ee = {https://doi.org/10.1007/BF00297251}, interhash = {077077f8e6763a79789bfdd98c6e2f64}, intrahash = {afa3b70d65f1418a3db5925250c67275}, journal = {J. Autom. Reason.}, keywords = {}, number = 4, pages = {465-474}, timestamp = {2023-12-12T17:41:59.000+0100}, title = {Opening the AC-Unification Race.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar4.html#BurckertHKSSTZ88}, volume = 4, year = 1988 }