Opening the AC-Unification Race

@techreport{pub2536,
    author = {

Bürckert, Hans-Jürgen
 and 

Herold, Alexander
 and 

Kapur, D.
 and 

Siekmann, Jörg
 and 

Stickel, Mark E.
 and 

Tepp, Michael
 and 

Zhang, H.
},
    title = {Opening the AC-Unification Race},
    series = {SEKI Report},
    year = {1988},
    volume = {SR-88-11},
    institution = {Universität Kaiserslautern}
}