DBLP Record 'journals/jar/BurckertHKSSTZ88'

BibTeX

@article{DBLP:journals/jar/BurckertHKSSTZ88,
  author    = {Hans-J{\"u}rgen B{\"u}rckert and
               Alexander Herold and
               Deepak Kapur and
               J{\"o}rg H. Siekmann and
               Mark E. Stickel and
               Michael Tepp and
               Hantao Zhang},
  title     = {Opening the AC-Unification Race},
  journal   = {J. Autom. Reasoning},
  volume    = {4},
  number    = {4},
  year      = {1988},
  pages     = {465-474},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}