Opening the AC-Unification Race

@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}
}