@InProceedings{BHF96,
  author =       {A.~Buch and Th.~Hillenbrand and R.~Fettig},
  title =        {\textsc{Wald\-mei\-ster}: High Performance
                  Equational Theorem Proving},
  booktitle =    {Proceedings of the 4th International Symposium
                  on Design and Implementation of Symbolic
                  Computation Systems},
  pages =        {63--64},
  year =         1996,
  editor =       {J.~Calmet and C.~Limongelli},
  volume =       1128,
  series =       {LNCS}
}