@InProceedings{HJL99,
  author =       {Th.~Hillenbrand and A.~Jaeger and B.~L\"{o}chner},
  title =        {System Description: \textsc{Wald\-mei\-ster} --
                  Improvements in Performance and Ease of Use},
  booktitle =    {Proceedings of the 16th International Conference
                  on Automated Deduction},
  pages =        {232--236},
  year =         1999,
  editor =       {H.~Ganzinger},
  volume =       1632,
  series =       {LNAI},
  publisher =    {Springer-Verlag}
}