@Article{HBVL97,
  author =       {Th.~Hillenbrand and A.~Buch and R.~Vogt and 
                  B.~L\"{o}chner},
  title =        {\textsc{Wald\-mei\-ster}: High Performance
                  Equational Deduction},
  journal =      {Journal of Automated Reasoning},
  year =         1997,
  volume =       18,
  number =       2,
  pages =        {265--270}
}