@TechReport{BH96,
  author =       {A.~Buch and Th.~Hillenbrand},
  title =        {\textsc{Wald\-mei\-ster}: Development of a High
                  Performance Completion-Based Theorem Prover},
  institution =  {Universit\"{a}t Kaiserslautern},
  year =         1996,
  type =         {SEKI Report},
  number =       {96-01}
}